Skip to content

Instantly share code, notes, and snippets.

View rsdenijs's full-sized avatar

rsdenijs

4 followers · 8 following
View GitHub Profile
@rsdenijs
rsdenijs / gist:5076905
Last active December 14, 2015 11:09 — forked from chriswl/gist:5076876
[[D-people, D-people][WeighMon(C:1(Friends('y', 'x'),)), WeighMon(C:-1.0(Friends('y', 'x'), _Friends('x', 'y'))), WeighMon(C:1(_Friends('x', 'y'),))],
[D-people, D-people][WeighMon(C:1(Friends('x', 'y'), Smokes('x',), Smokes('y',))), WeighMon(C:1(_Friends('x', 'y'), _Smokes('x',))), WeighMon(C:-1.0(_Friends('x', 'y'), _Smokes('x',), _Smokes('y',))), WeighMon(C:1(_Friends('x', 'y'), _Smokes('y',)))],
[D-people][WeighMon(C:-1.0(Cancer('x',), _Smokes('x',))), WeighMon(C:1(Cancer('x',),)), WeighMon(C:1(_Smokes('x',),))]]
@rsdenijs
rsdenijs / gist:5076895
Created March 3, 2013 16:49
[[D-people, D-people][WeighMon(C:1(Friends('y', 'x'),)), WeighMon(C:-1.0(Friends('y', 'x'), _Friends('x', 'y'))), WeighMon(C:1(_Friends('x', 'y'),))], [D-people, D-people][WeighMon(C:1(Friends('x', 'y'), Smokes('x',), Smokes('y',))), WeighMon(C:1(_Friends('x', 'y'), _Smokes('x',))), WeighMon(C:-1.0(_Friends('x', 'y'), _Smokes('x',), _Smokes('y',))), WeighMon(C:1(_Friends('x', 'y'), _Smokes('y',)))], [D-people][WeighMon(C:-1.0(Cancer('x',), _Smokes('x',))), WeighMon(C:1(Cancer('x',),)), WeighMon(C:1(_Smokes('x',),))]]