Dave is green. Dave is rough. Dave is round. Gary is cold. Gary is green. Gary is quiet. Gary is rough. Gary is round. Gary is smart. Gary is white. Harry is cold. Harry is quiet. If something is smart and rough then it is quiet. All cold things are round.
Gary is white.
@0: Dave is green.[(triple1)] Dave is rough.[(triple2)] Dave is round.[(triple3)] Gary is cold.[(triple4)] Gary is green.[(triple5)] Gary is quiet.[(triple6 OR ((triple9 triple7) -> rule1))] Gary is rough.[(triple7)] Gary is round.[(triple8 OR ((triple4) -> rule2))] Gary is smart.[(triple9)] Gary is white.[(triple10)] Harry is cold.[(triple11)] Harry is quiet.[(triple12)] @1: Harry is round.[(((triple11) -> rule2))]