Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is quiet. Gary is rough. Gary is round. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is quiet. Harry is rough. Harry is round. If something is big then it is furry. If something is furry then it is big. If Harry is big and Harry is blue then Harry is rough.
Harry is round.
@0: Gary is big.[(triple1 OR ((triple3) -> rule2))] Gary is blue.[(triple2)] Gary is furry.[(triple3 OR ((triple1) -> rule1))] Gary is green.[(triple4)] Gary is quiet.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] Harry is big.[(triple8 OR ((triple10) -> rule2))] Harry is blue.[(triple9)] Harry is furry.[(triple10 OR ((triple8) -> rule1))] Harry is green.[(triple11)] Harry is quiet.[(triple12)] Harry is rough.[(triple13 OR ((triple8 triple9) -> rule3) OR ((((triple10) -> rule2) triple9) -> rule3))] Harry is round.[(triple14)]