Anne is round. Dave is cold. Dave is furry. Erin is cold. Erin is quiet. Erin is rough. Gary is round. If Anne is rough and Anne is cold then Anne is furry. If Gary is quiet and Gary is cold then Gary is not rough. If Dave is cold then Dave is not quiet. If Anne is quiet and Anne is not rough then Anne is white. If Dave is furry then Dave is kind. If something is rough then it is not furry.
Anne is not furry.
@0: Anne is round.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Erin is cold.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Gary is round.[(triple7)] @1: Dave is kind.[(((triple3) -> rule5))] Dave is not quiet.[(((triple2) -> rule3))] Erin is not furry.[(((triple6) -> rule6))]