Dave is rough. Dave is young. Erin is furry. Erin is nice. Erin is quiet. Erin is round. Harry is furry. Harry is quiet. Harry is rough. Harry is round. Quiet things are nice. Red, nice things are young. All young things are round. If Harry is quiet then Harry is rough. If Dave is quiet then Dave is round. If something is round and rough then it is furry.
Harry is nice.
@0: Dave is rough.[(triple1)] Dave is young.[(triple2)] Erin is furry.[(triple3)] Erin is nice.[(triple4 OR ((triple5) -> rule1))] Erin is quiet.[(triple5)] Erin is round.[(triple6)] Harry is furry.[(triple7 OR ((triple10 triple9) -> rule6) OR ((triple10 ((triple8) -> rule4)) -> rule6))] Harry is quiet.[(triple8)] Harry is rough.[(triple9 OR ((triple8) -> rule4))] Harry is round.[(triple10)] @1: Dave is round.[(((triple2) -> rule3))] Harry is nice.[(((triple8) -> rule1))] @2: Dave is furry.[(((((triple2) -> rule3) triple1) -> rule6))]