Bob is rough. Erin is big. Harry is big. Harry is furry. Harry is rough. Harry is round. Harry is smart. All rough people are red. If Erin is big then Erin is round. Round people are rough.
Bob is not smart.
@0: Bob is rough.[(triple1)] Erin is big.[(triple2)] Harry is big.[(triple3)] Harry is furry.[(triple4)] Harry is rough.[(triple5 OR ((triple6) -> rule3))] Harry is round.[(triple6)] Harry is smart.[(triple7)] @1: Bob is red.[(((triple1) -> rule1))] Erin is round.[(((triple2) -> rule2))] Harry is red.[(((triple5) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] @2: Erin is rough.[(((((triple2) -> rule2)) -> rule3))] @3: Erin is red.[(((((((triple2) -> rule2)) -> rule3)) -> rule1))]