Erin is cold. If someone is cold then they are kind. All cold, kind people are round. If Erin is kind and Erin is cold then Erin is white. If someone is round and kind then they are blue. Blue people are nice. If Erin is white then Erin is cold.
Erin is not white.
@0: Erin is cold.[(triple1)] @1: Erin is kind.[(((triple1) -> rule1))] @2: Erin is round.[(((triple1 ((triple1) -> rule1)) -> rule2))] Erin is white.[(((((triple1) -> rule1) triple1) -> rule3))] @3: Erin is blue.[(((((triple1 ((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule4))] @4: Erin is nice.[(((((((triple1 ((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule4)) -> rule5))]