Erin is cold. Erin is smart. Erin is young. All big things are young. All nice, blue things are cold. If Erin is nice and Erin is blue then Erin is big. If Erin is big then Erin is cold. Nice, big things are cold. If Erin is cold and Erin is kind then Erin is big. If something is young then it is big. If something is nice then it is kind.
Erin is not young.
@0: Erin is cold.[(triple1 OR ((((triple3) -> rule7)) -> rule4))] Erin is smart.[(triple2)] Erin is young.[(triple3)] @1: Erin is big.[(((triple3) -> rule7))]