Anne is green. Bob is rough. Erin is furry. Harry is round. If something is green then it is red. If something is big and not round then it is red. Furry things are green. If something is green and furry then it is rough. All red, rough things are big. If Anne is big then Anne is red.
Harry is smart.
@0: Anne is green.[(triple1)] Bob is rough.[(triple2)] Erin is furry.[(triple3)] Harry is round.[(triple4)] @1: Anne is red.[(((triple1) -> rule1))] Erin is green.[(((triple3) -> rule3))] @2: Erin is red.[(((((triple3) -> rule3)) -> rule1))] Erin is rough.[(((((triple3) -> rule3) triple3) -> rule4))] @3: Erin is big.[(((((((triple3) -> rule3)) -> rule1) ((((triple3) -> rule3) triple3) -> rule4)) -> rule5))]