Erin is blue. Erin is smart. Erin is young. All blue people are cold. If someone is cold then they are red. If Erin is blue and Erin is red then Erin is quiet.
Erin is not red.
@0: Erin is blue.[(triple1)] Erin is smart.[(triple2)] Erin is young.[(triple3)] @1: Erin is cold.[(((triple1) -> rule1))] @2: Erin is red.[(((((triple1) -> rule1)) -> rule2))] @3: Erin is quiet.[(((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule3))]