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