Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Dave is green. Harry is nice. Harry is smart. Rough, white things are quiet. If something is white and rough then it is cold. Rough, cold things are green. All green things are rough. All green things are cold. Smart things are nice.
Charlie is not green.
@0: Charlie is cold.[(triple1 OR ((triple2) -> rule5) OR ((triple7 triple5) -> rule2) OR ((triple7 ((triple2) -> rule4)) -> rule2))] Charlie is green.[(triple2 OR ((triple5 triple1) -> rule3) OR ((triple5 ((triple7 triple5) -> rule2)) -> rule3))] Charlie is nice.[(triple3 OR ((triple6) -> rule6))] Charlie is quiet.[(triple4 OR ((triple5 triple7) -> rule1) OR ((((triple2) -> rule4) triple7) -> rule1))] Charlie is rough.[(triple5 OR ((triple2) -> rule4))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Dave is green.[(triple8)] Harry is nice.[(triple9 OR ((triple10) -> rule6))] Harry is smart.[(triple10)] @1: Dave is cold.[(((triple8) -> rule5))] Dave is rough.[(((triple8) -> rule4))]