Charlie is red. Dave is cold. Gary is red. All cold things are rough. If something is red then it is green. If Gary is kind then Gary is blue. If something is green then it is cold. Red things are cold. If something is red and cold then it is kind.
Dave is red.
@0: Charlie is red.[(triple1)] Dave is cold.[(triple2)] Gary is red.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule5) OR ((((triple1) -> rule2)) -> rule4))] Charlie is green.[(((triple1) -> rule2))] Dave is rough.[(((triple2) -> rule1))] Gary is cold.[(((triple3) -> rule5) OR ((((triple3) -> rule2)) -> rule4))] Gary is green.[(((triple3) -> rule2))] @2: Charlie is kind.[(((triple1 ((triple1) -> rule5)) -> rule6) OR ((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule6))] Charlie is rough.[(((((triple1) -> rule5)) -> rule1) OR ((((((triple1) -> rule2)) -> rule4)) -> rule1))] Gary is kind.[(((triple3 ((triple3) -> rule5)) -> rule6) OR ((triple3 ((((triple3) -> rule2)) -> rule4)) -> rule6))] Gary is rough.[(((((triple3) -> rule5)) -> rule1) OR ((((((triple3) -> rule2)) -> rule4)) -> rule1))] @3: Gary is blue.[(((((triple3 ((triple3) -> rule5)) -> rule6)) -> rule3) OR ((((triple3 ((((triple3) -> rule2)) -> rule4)) -> rule6)) -> rule3))]