Erin is cold. Erin is round. Erin is smart. All kind people are cold. If someone is smart and nice then they are cold. Round, cold people are blue. If Erin is round and Erin is nice then Erin is furry. If someone is blue then they are furry. All furry people are nice.
Erin is not blue.
@0: Erin is cold.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] @1: Erin is blue.[(((triple2 triple1) -> rule3))] @2: Erin is furry.[(((((triple2 triple1) -> rule3)) -> rule5))] @3: Erin is nice.[(((((((triple2 triple1) -> rule3)) -> rule5)) -> rule6))]