Anne is round. Dave is rough. Erin is round. Harry is not red. If something is nice then it is furry. If something is white then it is rough. If Anne is furry then Anne is not nice. Green things are red. All round things are not red. If something is rough then it is red. All white, green things are not red. If Dave is furry then Dave is not white.
Dave is white.
@0: Anne is round.[(triple1)] Dave is rough.[(triple2)] Erin is round.[(triple3)] Harry is not red.[(triple4)] @1: Anne is not red.[(((triple1) -> rule5))] Dave is red.[(((triple2) -> rule6))] Erin is not red.[(((triple3) -> rule5))]