Anne is big. Erin is rough. Erin is smart. Rough people are young. All rough, round people are quiet. All smart, young people are furry. All rough, furry people are big. If someone is big then they are young. Big people are smart.
Anne is not rough.
@0: Anne is big.[(triple1)] Erin is rough.[(triple2)] Erin is smart.[(triple3)] @1: Anne is smart.[(((triple1) -> rule6))] Anne is young.[(((triple1) -> rule5))] Erin is young.[(((triple2) -> rule1))] @2: Anne is furry.[(((((triple1) -> rule6) ((triple1) -> rule5)) -> rule3))] Erin is furry.[(((triple3 ((triple2) -> rule1)) -> rule3))] @3: Erin is big.[(((triple2 ((triple3 ((triple2) -> rule1)) -> rule3)) -> rule4))]