Gary is big. Gary is blue. Gary is cold. Gary is red. Gary is round. Gary is white. Gary is young. Harry is big. Harry is blue. Harry is cold. Harry is red. Harry is round. Harry is white. Harry is young. If someone is big then they are cold. All round people are blue.
Harry is not cold.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple5) -> rule2))] Gary is cold.[(triple3 OR ((triple1) -> rule1))] Gary is red.[(triple4)] Gary is round.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple12) -> rule2))] Harry is cold.[(triple10 OR ((triple8) -> rule1))] Harry is red.[(triple11)] Harry is round.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14)]