Anne is blue. Anne is not furry. Anne is red. Anne is rough. Anne is not smart. Gary is blue. Gary is not furry. Gary is not red. Harry is big. Harry is blue. Harry is furry. Harry is not green. Harry is red. Harry is rough. Harry is smart. Smart things are red. If something is rough then it is big.
Harry is not rough.
@0: Anne is blue.[(triple1)] Anne is not furry.[(triple2)] Anne is not smart.[(triple5)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Gary is blue.[(triple6)] Gary is not furry.[(triple7)] Gary is not red.[(triple8)] Harry is big.[(triple9 OR ((triple14) -> rule2))] Harry is blue.[(triple10)] Harry is furry.[(triple11)] Harry is not green.[(triple12)] Harry is red.[(triple13 OR ((triple15) -> rule1))] Harry is rough.[(triple14)] Harry is smart.[(triple15)] @1: Anne is big.[(((triple4) -> rule2))]