Anne is nice. Anne is red. Anne is rough. Charlie is nice. Charlie is rough. Dave is cold. Dave is nice. Dave is smart. Harry is red. Harry is rough. Smart, cold people are blue. If Dave is blue and Dave is cold then Dave is red.
Charlie is not smart.
@0: Anne is nice.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Dave is cold.[(triple6)] Dave is nice.[(triple7)] Dave is smart.[(triple8)] Harry is red.[(triple9)] Harry is rough.[(triple10)] @1: Dave is blue.[(((triple8 triple6) -> rule1))] @2: Dave is red.[(((((triple8 triple6) -> rule1) triple6) -> rule2))]