Bob is blue. Bob is cold. Bob is quiet. Bob is red. Gary is not blue. Gary is cold. Gary is nice. Gary is young. Harry is blue. Harry is not cold. Harry is nice. Harry is young. All blue people are young. If someone is white and not red then they are young. If someone is white then they are quiet. If Harry is white and Harry is cold then Harry is blue. If Bob is young and Bob is not nice then Bob is not cold. If someone is cold then they are white.
Gary is not red.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3 OR ((((triple2) -> rule6)) -> rule3))] Bob is red.[(triple4)] Gary is cold.[(triple6)] Gary is nice.[(triple7)] Gary is not blue.[(triple5)] Gary is young.[(triple8)] Harry is blue.[(triple9)] Harry is nice.[(triple11)] Harry is not cold.[(triple10)] Harry is young.[(triple12 OR ((triple9) -> rule1))] @1: Bob is white.[(((triple2) -> rule6))] Bob is young.[(((triple1) -> rule1))] Gary is white.[(((triple6) -> rule6))] @2: Gary is quiet.[(((((triple6) -> rule6)) -> rule3))]