Charlie is cold. Dave is red. Gary is young. Red people are young. If someone is big and young then they are blue. If someone is cold and red then they are blue. White, kind people are cold. All young people are kind. Red, blue people are young. Young people are blue. If someone is kind then they are cold.
Dave is cold.
@0: Charlie is cold.[(triple1)] Dave is red.[(triple2)] Gary is young.[(triple3)] @1: Dave is young.[(((triple2) -> rule1))] Gary is blue.[(((triple3) -> rule7))] Gary is kind.[(((triple3) -> rule5))] @2: Dave is blue.[(((((triple2) -> rule1)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule5)) -> rule8) triple2) -> rule3))] Dave is kind.[(((((triple2) -> rule1)) -> rule5))] Gary is cold.[(((((triple3) -> rule5)) -> rule8))] @3: Dave is cold.[(((((((triple2) -> rule1)) -> rule5)) -> rule8))]