Anne is big. Anne is nice. Anne is young. Erin is rough. Erin is smart. Harry is big. Harry is young. All big, rough things are red. If something is white and young then it is red. If something is big then it is rough. All rough, white things are red. If something is red and nice then it is smart. If Harry is rough then Harry is smart.
Harry is white.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Erin is rough.[(triple4)] Erin is smart.[(triple5)] Harry is big.[(triple6)] Harry is young.[(triple7)] @1: Anne is rough.[(((triple1) -> rule3))] Harry is rough.[(((triple6) -> rule3))] @2: Anne is red.[(((triple1 ((triple1) -> rule3)) -> rule1))] Harry is red.[(((triple6 ((triple6) -> rule3)) -> rule1))] Harry is smart.[(((((triple6) -> rule3)) -> rule6))] @3: Anne is smart.[(((((triple1 ((triple1) -> rule3)) -> rule1) triple2) -> rule5))]