Erin is green. All blue people are not nice. If Erin is green then Erin is blue. If someone is rough then they are not blue.
Erin is not cold.
@0: Erin is green.[(triple1)] @1: Erin is blue.[(((triple1) -> rule2))] @2: Erin is not nice.[(((((triple1) -> rule2)) -> rule1))]