Dave is cold. Dave is green. Dave is rough. Dave is smart. Dave is white. Harry is green. Harry is white. Smart, rough people are green. If someone is green then they are round.
Dave is not round.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2 OR ((triple4 triple3) -> rule1))] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Harry is green.[(triple6)] Harry is white.[(triple7)] @1: Dave is round.[(((triple2) -> rule2) OR ((((triple4 triple3) -> rule1)) -> rule2))] Harry is round.[(((triple6) -> rule2))]