Dave is rough. Erin is quiet. Erin is rough. Gary is furry. Gary is smart. Harry is big. Harry is young. Smart, quiet people are furry. If someone is rough then they are quiet. All round people are smart. Furry people are young. If someone is rough and smart then they are furry. Furry people are rough. If someone is quiet and young then they are smart. If someone is furry then they are round. All big people are rough.
Erin is furry.
@0: Dave is rough.[(triple1)] Erin is quiet.[(triple2 OR ((triple3) -> rule2))] Erin is rough.[(triple3)] Gary is furry.[(triple4)] Gary is smart.[(triple5 OR ((((triple4) -> rule8)) -> rule3) OR ((((((triple4) -> rule6)) -> rule2) ((triple4) -> rule4)) -> rule7))] Harry is big.[(triple6)] Harry is young.[(triple7)] @1: Dave is quiet.[(((triple1) -> rule2))] Gary is rough.[(((triple4) -> rule6))] Gary is round.[(((triple4) -> rule8))] Gary is young.[(((triple4) -> rule4))] Harry is rough.[(((triple6) -> rule9))] @2: Gary is quiet.[(((((triple4) -> rule6)) -> rule2))] Harry is quiet.[(((((triple6) -> rule9)) -> rule2))] @3: Harry is smart.[(((((((triple6) -> rule9)) -> rule2) triple7) -> rule7))] @4: Harry is furry.[(((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule2) triple7) -> rule7)) -> rule5) OR ((((((((triple6) -> rule9)) -> rule2) triple7) -> rule7) ((((triple6) -> rule9)) -> rule2)) -> rule1))] @5: Harry is round.[(((((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule2) triple7) -> rule7)) -> rule5)) -> rule8) OR ((((((((((triple6) -> rule9)) -> rule2) triple7) -> rule7) ((((triple6) -> rule9)) -> rule2)) -> rule1)) -> rule8))]