Anne is furry. Anne is green. Anne is red. Gary is blue. Gary is furry. Gary is green. Gary is rough. Harry is blue. Harry is furry. Harry is quiet. Harry is red. Harry is rough. If Harry is furry and Harry is green then Harry is blue. Furry things are red. Blue, green things are rough.
Gary is blue.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule2))] Gary is blue.[(triple4)] Gary is furry.[(triple5)] Gary is green.[(triple6)] Gary is rough.[(triple7 OR ((triple4 triple6) -> rule3))] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11 OR ((triple9) -> rule2))] Harry is rough.[(triple12)] @1: Gary is red.[(((triple5) -> rule2))]