Erin is big. Erin is green. Erin is young. Harry is big. Harry is quiet. Harry is red. Harry is young. All young things are smart. All smart, young things are nice. If something is young and nice then it is quiet.
Harry is not smart.
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Erin is young.[(triple3)] Harry is big.[(triple4)] Harry is quiet.[(triple5 OR ((triple7 ((((triple7) -> rule1) triple7) -> rule2)) -> rule3))] Harry is red.[(triple6)] Harry is young.[(triple7)] @1: Erin is smart.[(((triple3) -> rule1))] Harry is smart.[(((triple7) -> rule1))] @2: Erin is nice.[(((((triple3) -> rule1) triple3) -> rule2))] Harry is nice.[(((((triple7) -> rule1) triple7) -> rule2))] @3: Erin is quiet.[(((triple3 ((((triple3) -> rule1) triple3) -> rule2)) -> rule3))]