Erin is young. If Erin is kind then Erin is not blue. All smart people are kind. If Erin is blue and Erin is smart then Erin is kind. If someone is young then they are smart. All green, red people are blue. If someone is smart and green then they are blue. If someone is young and kind then they are not cold. All red, smart people are green.
Erin is not smart.
@0: Erin is young.[(triple1)] @1: Erin is smart.[(((triple1) -> rule4))] @2: Erin is kind.[(((((triple1) -> rule4)) -> rule2))] @3: Erin is not blue.[(((((((triple1) -> rule4)) -> rule2)) -> rule1))] Erin is not cold.[(((triple1 ((((triple1) -> rule4)) -> rule2)) -> rule7))]