Bob is not blue. Bob is cold. Bob is nice. Bob is not round. Bob is smart. Bob is white. Bob is young. Gary is blue. Gary is cold. Gary is young. Harry is not blue. Harry is not cold. Harry is round. Harry is smart. Harry is not white. Harry is young. If someone is round and not young then they are white. If someone is round and not white then they are not cold.
Bob is round.
@0: Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is not blue.[(triple1)] Bob is not round.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is young.[(triple10)] Harry is not blue.[(triple11)] Harry is not cold.[(triple12 OR ((triple13 triple15) -> rule2))] Harry is not white.[(triple15)] Harry is round.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple16)]