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