Erin is big. Erin is nice. Erin is round. Young things are big. If Erin is round then Erin is young. All young things are blue. If something is round and not nice then it is not blue. If something is round and not young then it is smart. All blue things are smart.
Erin is not round.
@0: Erin is big.[(triple1 OR ((((triple3) -> rule2)) -> rule1))] Erin is nice.[(triple2)] Erin is round.[(triple3)] @1: Erin is young.[(((triple3) -> rule2))] @2: Erin is blue.[(((((triple3) -> rule2)) -> rule3))] @3: Erin is smart.[(((((((triple3) -> rule2)) -> rule3)) -> rule6))]