Erin is round. All blue people are cold. Rough people are cold. If someone is round then they are blue.
Erin is not kind.
@0: Erin is round.[(triple1)] @1: Erin is blue.[(((triple1) -> rule3))] @2: Erin is cold.[(((((triple1) -> rule3)) -> rule1))]