Anne is blue. Anne is cold. Anne is not smart. Dave is cold. Dave is rough. Dave is round. Dave is not smart. Erin is smart. Harry is cold. Harry is kind. Harry is red. Harry is not round. If something is red then it is not smart. If Harry is kind and Harry is not smart then Harry is rough. All rough, smart things are blue.
Harry is blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is not smart.[(triple3)] Dave is cold.[(triple4)] Dave is not smart.[(triple7)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Erin is smart.[(triple8)] Harry is cold.[(triple9)] Harry is kind.[(triple10)] Harry is not round.[(triple12)] Harry is red.[(triple11)] @1: Harry is not smart.[(((triple11) -> rule1))] @2: Harry is rough.[(((triple10 ((triple11) -> rule1)) -> rule2))]