Anne is blue. Anne is furry. Anne is green. Anne is rough. Anne is white. Erin is blue. Gary is blue. Gary is cold. Gary is furry. Gary is green. Harry is furry. Harry is green. Harry is rough. Harry is smart. Harry is white. All furry things are rough. Green, blue things are furry.
Erin is not rough.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple3 triple1) -> rule2))] Anne is green.[(triple3)] Anne is rough.[(triple4 OR ((triple2) -> rule1) OR ((((triple3 triple1) -> rule2)) -> rule1))] Anne is white.[(triple5)] Erin is blue.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9 OR ((triple10 triple7) -> rule2))] Gary is green.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is rough.[(triple13 OR ((triple11) -> rule1))] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Gary is rough.[(((triple9) -> rule1) OR ((((triple10 triple7) -> rule2)) -> rule1))]