Dave is rough. Dave is round. Erin is quiet. Erin is rough. Gary is nice. Harry is cold. Harry is green. Harry is nice. Harry is rough. Harry is round. Green people are quiet. All rough people are quiet. All cold people are nice. All green people are cold. All rough, quiet people are green. If someone is nice and quiet then they are furry.
Erin is not green.
@0: Dave is rough.[(triple1)] Dave is round.[(triple2)] Erin is quiet.[(triple3 OR ((triple4) -> rule2))] Erin is rough.[(triple4)] Gary is nice.[(triple5)] Harry is cold.[(triple6 OR ((triple7) -> rule4) OR ((((triple9 ((triple9) -> rule2)) -> rule5)) -> rule4))] Harry is green.[(triple7 OR ((triple9 ((triple9) -> rule2)) -> rule5))] Harry is nice.[(triple8 OR ((triple6) -> rule3) OR ((((triple7) -> rule4)) -> rule3) OR ((((((triple9 ((triple9) -> rule2)) -> rule5)) -> rule4)) -> rule3))] Harry is rough.[(triple9)] Harry is round.[(triple10)] @1: Dave is quiet.[(((triple1) -> rule2))] Erin is green.[(((triple4 triple3) -> rule5) OR ((triple4 ((triple4) -> rule2)) -> rule5))] Harry is quiet.[(((triple7) -> rule1) OR ((triple9) -> rule2))] @2: Dave is green.[(((triple1 ((triple1) -> rule2)) -> rule5))] Erin is cold.[(((((triple4 triple3) -> rule5)) -> rule4) OR ((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule4))] Harry is furry.[(((triple8 ((triple7) -> rule1)) -> rule6) OR ((triple8 ((triple9) -> rule2)) -> rule6) OR ((((triple6) -> rule3) ((triple7) -> rule1)) -> rule6) OR ((((triple6) -> rule3) ((triple9) -> rule2)) -> rule6) OR ((((((triple7) -> rule4)) -> rule3) ((triple7) -> rule1)) -> rule6) OR ((((((triple7) -> rule4)) -> rule3) ((triple9) -> rule2)) -> rule6) OR ((((((((triple9 ((triple9) -> rule2)) -> rule5)) -> rule4)) -> rule3) ((triple7) -> rule1)) -> rule6) OR ((((((((triple9 ((triple9) -> rule2)) -> rule5)) -> rule4)) -> rule3) ((triple9) -> rule2)) -> rule6))] @3: Dave is cold.[(((((triple1 ((triple1) -> rule2)) -> rule5)) -> rule4))] Erin is nice.[(((((((triple4 triple3) -> rule5)) -> rule4)) -> rule3) OR ((((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule4)) -> rule3))] @4: Dave is nice.[(((((((triple1 ((triple1) -> rule2)) -> rule5)) -> rule4)) -> rule3))] Erin is furry.[(((((((((triple4 triple3) -> rule5)) -> rule4)) -> rule3) triple3) -> rule6) OR ((((((((triple4 triple3) -> rule5)) -> rule4)) -> rule3) ((triple4) -> rule2)) -> rule6) OR ((((((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule4)) -> rule3) triple3) -> rule6) OR ((((((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule4)) -> rule3) ((triple4) -> rule2)) -> rule6))] @5: Dave is furry.[(((((((((triple1 ((triple1) -> rule2)) -> rule5)) -> rule4)) -> rule3) ((triple1) -> rule2)) -> rule6))]