Gary is cold. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Gary is smart. Gary is white. Harry is rough. Harry is not smart. Harry is white. Round things are quiet. White things are quiet. If something is quiet and not smart then it is white. If something is cold and not rough then it is white. If Harry is white then Harry is cold. If something is rough then it is round.
Gary is not nice.
@0: Gary is cold.[(triple1)] Gary is nice.[(triple2)] Gary is quiet.[(triple3 OR ((triple5) -> rule1) OR ((triple7) -> rule2) OR ((((triple4) -> rule6)) -> rule1))] Gary is rough.[(triple4)] Gary is round.[(triple5 OR ((triple4) -> rule6))] Gary is smart.[(triple6)] Gary is white.[(triple7)] Harry is not smart.[(triple9)] Harry is rough.[(triple8)] Harry is white.[(triple10 OR ((((((triple8) -> rule6)) -> rule1) triple9) -> rule3))] @1: Harry is cold.[(((triple10) -> rule5) OR ((((((((triple8) -> rule6)) -> rule1) triple9) -> rule3)) -> rule5))] Harry is quiet.[(((triple10) -> rule2) OR ((((triple8) -> rule6)) -> rule1))] Harry is round.[(((triple8) -> rule6))]