Erin is cold. Erin is kind. Erin is red. If someone is kind then they are quiet. All young, cold people are red. Red people are young. If someone is rough then they are blue. If Erin is red and Erin is cold then Erin is rough. If Erin is blue then Erin is young.
Erin is not blue.
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Erin is red.[(triple3)] @1: Erin is quiet.[(((triple2) -> rule1))] Erin is rough.[(((triple3 triple1) -> rule5))] Erin is young.[(((triple3) -> rule3) OR ((((((triple3 triple1) -> rule5)) -> rule4)) -> rule6))] @2: Erin is blue.[(((((triple3 triple1) -> rule5)) -> rule4))]