Bob is rough. Bob is round. Erin is furry. Erin is green. Erin is nice. Erin is rough. Erin is smart. Erin is young. Harry is furry. Harry is smart. If someone is furry then they are round. If someone is round and smart then they are furry. If someone is rough and young then they are furry.
Bob is not furry.
@0: Bob is rough.[(triple1)] Bob is round.[(triple2)] Erin is furry.[(triple3 OR ((triple6 triple8) -> rule3))] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8)] Harry is furry.[(triple9)] Harry is smart.[(triple10)] @1: Erin is round.[(((triple3) -> rule1) OR ((((triple6 triple8) -> rule3)) -> rule1))] Harry is round.[(((triple9) -> rule1))]