Anne is kind. Anne is quiet. Anne is red. Anne is rough. Dave is green. Dave is kind. Dave is red. Erin is green. Erin is rough. Gary is furry. Gary is green. Gary is quiet. If Dave is nice then Dave is kind. Red, quiet things are rough. If Erin is nice then Erin is red. All quiet, red things are furry. If something is quiet then it is green. If Gary is furry and Gary is red then Gary is rough. If Dave is nice then Dave is quiet. Green things are nice.
Anne is not quiet.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple3 triple2) -> rule2))] Dave is green.[(triple5)] Dave is kind.[(triple6 OR ((((triple5) -> rule8)) -> rule1))] Dave is red.[(triple7)] Erin is green.[(triple8)] Erin is rough.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11 OR ((triple12) -> rule5))] Gary is quiet.[(triple12)] @1: Anne is furry.[(((triple2 triple3) -> rule4))] Anne is green.[(((triple2) -> rule5))] Dave is nice.[(((triple5) -> rule8))] Erin is nice.[(((triple8) -> rule8))] Gary is nice.[(((triple11) -> rule8) OR ((((triple12) -> rule5)) -> rule8))] @2: Anne is nice.[(((((triple2) -> rule5)) -> rule8))] Dave is quiet.[(((((triple5) -> rule8)) -> rule7))] Erin is red.[(((((triple8) -> rule8)) -> rule3))] @3: Dave is furry.[(((((((triple5) -> rule8)) -> rule7) triple7) -> rule4))] Dave is rough.[(((triple7 ((((triple5) -> rule8)) -> rule7)) -> rule2))]