Dave is nice. Dave is rough. Dave is round. Erin is red. Erin is rough. Erin is round. Gary is furry. Gary is quiet. Gary is rough. Gary is round. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is round. If someone is round then they are red. Quiet people are furry. If someone is quiet then they are big. If Erin is nice then Erin is quiet. All round people are rough. If someone is round then they are nice. If Dave is quiet and Dave is nice then Dave is big. All round, big people are furry.
Dave is not nice.
@0: Dave is nice.[(triple1 OR ((triple3) -> rule6))] Dave is rough.[(triple2 OR ((triple3) -> rule5))] Dave is round.[(triple3)] Erin is red.[(triple4 OR ((triple6) -> rule1))] Erin is rough.[(triple5 OR ((triple6) -> rule5))] Erin is round.[(triple6)] Gary is furry.[(triple7 OR ((triple8) -> rule2) OR ((triple10 ((triple8) -> rule3)) -> rule8))] Gary is quiet.[(triple8)] Gary is rough.[(triple9 OR ((triple10) -> rule5))] Gary is round.[(triple10)] Harry is furry.[(triple11 OR ((triple13) -> rule2) OR ((triple16 ((triple13) -> rule3)) -> rule8))] Harry is nice.[(triple12 OR ((triple16) -> rule6))] Harry is quiet.[(triple13)] Harry is red.[(triple14 OR ((triple16) -> rule1))] Harry is rough.[(triple15 OR ((triple16) -> rule5))] Harry is round.[(triple16)] @1: Dave is red.[(((triple3) -> rule1))] Erin is nice.[(((triple6) -> rule6))] Gary is big.[(((triple8) -> rule3))] Gary is nice.[(((triple10) -> rule6))] Gary is red.[(((triple10) -> rule1))] Harry is big.[(((triple13) -> rule3))] @2: Erin is quiet.[(((((triple6) -> rule6)) -> rule4))] @3: Erin is big.[(((((((triple6) -> rule6)) -> rule4)) -> rule3))] Erin is furry.[(((((((triple6) -> rule6)) -> rule4)) -> rule2) OR ((triple6 ((((((triple6) -> rule6)) -> rule4)) -> rule3)) -> rule8))]