Dave is quiet. Erin is white. Gary is red. Quiet people are white. All white people are cold. If Erin is green and Erin is kind then Erin is white. If someone is white then they are red. Red people are cold. If someone is red and green then they are kind.
Dave is not quiet.
@0: Dave is quiet.[(triple1)] Erin is white.[(triple2)] Gary is red.[(triple3)] @1: Dave is white.[(((triple1) -> rule1))] Erin is cold.[(((triple2) -> rule2) OR ((((triple2) -> rule4)) -> rule5))] Erin is red.[(((triple2) -> rule4))] Gary is cold.[(((triple3) -> rule5))] @2: Dave is cold.[(((((triple1) -> rule1)) -> rule2) OR ((((((triple1) -> rule1)) -> rule4)) -> rule5))] Dave is red.[(((((triple1) -> rule1)) -> rule4))]