Dave is furry. Dave is kind. Dave is quiet. Erin is green. Erin is kind. Erin is round. Erin is smart. Gary is green. Gary is kind. Gary is nice. Gary is smart. Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is smart. Green, kind things are quiet. Quiet, nice things are furry. If Erin is smart and Erin is quiet then Erin is kind. All kind, nice things are green. If something is nice then it is round. Kind, smart things are quiet. If Erin is kind and Erin is furry then Erin is nice. All quiet things are furry.
Erin is not furry.
@0: Dave is furry.[(triple1 OR ((triple3) -> rule8))] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Erin is green.[(triple4 OR ((triple5 ((triple5 ((((triple5 triple7) -> rule6)) -> rule8)) -> rule7)) -> rule4))] Erin is kind.[(triple5)] Erin is round.[(triple6 OR ((((triple5 ((((triple4 triple5) -> rule1)) -> rule8)) -> rule7)) -> rule5) OR ((((triple5 ((((triple5 triple7) -> rule6)) -> rule8)) -> rule7)) -> rule5))] Erin is smart.[(triple7)] Gary is green.[(triple8 OR ((triple9 triple10) -> rule4))] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is smart.[(triple11)] Harry is furry.[(triple12 OR ((triple15) -> rule8) OR ((triple15 triple14) -> rule2))] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is quiet.[(triple15)] Harry is smart.[(triple16)] @1: Erin is quiet.[(((triple4 triple5) -> rule1) OR ((triple5 triple7) -> rule6))] Gary is quiet.[(((triple8 triple9) -> rule1) OR ((triple9 triple11) -> rule6) OR ((((triple9 triple10) -> rule4) triple9) -> rule1))] Gary is round.[(((triple10) -> rule5))] Harry is round.[(((triple14) -> rule5))] @2: Erin is furry.[(((((triple4 triple5) -> rule1)) -> rule8) OR ((((triple5 triple7) -> rule6)) -> rule8))] Gary is furry.[(((((triple8 triple9) -> rule1)) -> rule8) OR ((((triple9 triple11) -> rule6)) -> rule8) OR ((((triple8 triple9) -> rule1) triple10) -> rule2) OR ((((triple9 triple11) -> rule6) triple10) -> rule2) OR ((((((triple9 triple10) -> rule4) triple9) -> rule1)) -> rule8) OR ((((((triple9 triple10) -> rule4) triple9) -> rule1) triple10) -> rule2))] @3: Erin is nice.[(((triple5 ((((triple4 triple5) -> rule1)) -> rule8)) -> rule7) OR ((triple5 ((((triple5 triple7) -> rule6)) -> rule8)) -> rule7))]