Anne is big. Anne is furry. Anne is nice. Anne is quiet. Dave is furry. Dave is green. Dave is nice. Dave is young. Erin is furry. Erin is nice. Harry is big. Harry is red. If Erin is red and Erin is furry then Erin is not young. All quiet, red things are not young. All young, green things are red. All red, big things are quiet. All red, green things are not big. If something is big and not young then it is nice.
Dave is not red.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is young.[(triple8)] Erin is furry.[(triple9)] Erin is nice.[(triple10)] Harry is big.[(triple11)] Harry is red.[(triple12)] @1: Dave is red.[(((triple8 triple6) -> rule3))] Harry is quiet.[(((triple12 triple11) -> rule4))] @2: Dave is not big.[(((((triple8 triple6) -> rule3) triple6) -> rule5))] Harry is not young.[(((((triple12 triple11) -> rule4) triple12) -> rule2))] @3: Harry is nice.[(((triple11 ((((triple12 triple11) -> rule4) triple12) -> rule2)) -> rule6))]