Anne is blue. Anne is green. Anne is quiet. Anne is white. Bob is rough. Gary is blue. Gary is rough. Harry is furry. Harry is rough. Harry is white. Quiet, rough things are white. All rough things are big. If something is green and big then it is blue. Blue things are furry. If something is quiet then it is blue. Blue things are green.
Gary is big.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule5))] Anne is green.[(triple2 OR ((triple1) -> rule6) OR ((((triple3) -> rule5)) -> rule6))] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Bob is rough.[(triple5)] Gary is blue.[(triple6)] Gary is rough.[(triple7)] Harry is furry.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10)] @1: Anne is furry.[(((triple1) -> rule4) OR ((((triple3) -> rule5)) -> rule4))] Bob is big.[(((triple5) -> rule2))] Gary is big.[(((triple7) -> rule2))] Gary is furry.[(((triple6) -> rule4))] Gary is green.[(((triple6) -> rule6))] Harry is big.[(((triple9) -> rule2))]