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