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