Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is round. Gary is white. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is round. If Harry is cold and Harry is round then Harry is green. If something is round then it is nice. If Gary is quiet and Gary is green then Gary is cold.
Gary is not round.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is green.[(triple3)] Gary is nice.[(triple4 OR ((triple5) -> rule2))] Gary is round.[(triple5)] Gary is white.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9 OR ((triple8 triple12) -> rule1))] Harry is nice.[(triple10 OR ((triple12) -> rule2))] Harry is quiet.[(triple11)] Harry is round.[(triple12)]