Bob is kind. Erin is cold. Gary is round. Harry is young. Cold, young people are red. All young people are cold. If someone is young and kind then they are white. Cold, kind people are red. If Erin is round and Erin is cold then Erin is green. If Bob is white and Bob is red then Bob is green. If someone is cold then they are kind. If someone is red and cold then they are kind.
Harry is not cold.
@0: Bob is kind.[(triple1)] Erin is cold.[(triple2)] Gary is round.[(triple3)] Harry is young.[(triple4)] @1: Erin is kind.[(((triple2) -> rule7))] Harry is cold.[(((triple4) -> rule2))] @2: Erin is red.[(((triple2 ((triple2) -> rule7)) -> rule4))] Harry is kind.[(((((triple4) -> rule2)) -> rule7) OR ((((((triple4) -> rule2) triple4) -> rule1) ((triple4) -> rule2)) -> rule8))] Harry is red.[(((((triple4) -> rule2) triple4) -> rule1) OR ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule4))] @3: Harry is white.[(((triple4 ((((triple4) -> rule2)) -> rule7)) -> rule3) OR ((triple4 ((((((triple4) -> rule2) triple4) -> rule1) ((triple4) -> rule2)) -> rule8)) -> rule3))]