Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Dave is young. Smart things are green. All smart things are nice. All green things are young. If something is quiet and smart then it is rough. If something is nice and young then it is green. All smart, rough things are blue.
Dave is green.
@0: Dave is blue.[(triple1 OR ((triple6 triple5) -> rule6) OR ((triple6 ((triple4 triple6) -> rule4)) -> rule6))] Dave is green.[(triple2 OR ((triple6) -> rule1) OR ((triple3 triple7) -> rule5) OR ((((triple6) -> rule2) triple7) -> rule5))] Dave is nice.[(triple3 OR ((triple6) -> rule2))] Dave is quiet.[(triple4)] Dave is rough.[(triple5 OR ((triple4 triple6) -> rule4))] Dave is smart.[(triple6)] Dave is young.[(triple7 OR ((triple2) -> rule3) OR ((((triple6) -> rule1)) -> rule3))]