Anne is blue. Dave is quiet. Erin is red. Quiet, smart people are cold. If someone is red and quiet then they are cold. Red people are green. All green, smart people are cold. If Dave is cold and Dave is smart then Dave is white. Cold, quiet people are blue. If someone is white and red then they are cold. If someone is red and green then they are blue.
Erin is red.
@0: Anne is blue.[(triple1)] Dave is quiet.[(triple2)] Erin is red.[(triple3)] @1: Erin is green.[(((triple3) -> rule3))] @2: Erin is blue.[(((triple3 ((triple3) -> rule3)) -> rule8))]