Bob is cold. Erin is blue. Erin is young. Gary is cold. Gary is kind. Gary is young. Harry is blue. Harry is kind. Harry is red. Harry is white. If something is green and white then it is young. If Erin is green then Erin is blue. If something is kind and not green then it is blue. If something is kind then it is blue. White things are blue. All red, kind things are blue. Young things are white. Green things are cold.
Erin is red.
@0: Bob is cold.[(triple1)] Erin is blue.[(triple2 OR ((((triple3) -> rule7)) -> rule5))] Erin is young.[(triple3)] Gary is cold.[(triple4)] Gary is kind.[(triple5)] Gary is young.[(triple6)] Harry is blue.[(triple7 OR ((triple10) -> rule5) OR ((triple8) -> rule4) OR ((triple9 triple8) -> rule6))] Harry is kind.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10)] @1: Erin is white.[(((triple3) -> rule7))] Gary is blue.[(((triple5) -> rule4) OR ((((triple6) -> rule7)) -> rule5))] Gary is white.[(((triple6) -> rule7))]