Gary is big. Gary is nice. Gary is not quiet. Gary is round. Gary is smart. Gary is white. Harry is big. Harry is blue. Harry is not nice. Harry is smart. Blue things are white. All quiet, nice things are round. If something is round and white then it is big.
Harry is white.
@0: Gary is big.[(triple1 OR ((triple4 triple6) -> rule3))] Gary is nice.[(triple2)] Gary is not quiet.[(triple3)] Gary is round.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is not nice.[(triple9)] Harry is smart.[(triple10)] @1: Harry is white.[(((triple8) -> rule1))]