Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is white. Dave is furry. Gary is blue. Gary is furry. Gary is nice. Gary is red. Gary is white. If Anne is not furry then Anne is blue. If someone is furry and not quiet then they are not red. All furry people are red. Quiet people are nice. Quiet, furry people are not blue. Red people are kind.
Dave is white.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((triple5) -> rule6))] Anne is nice.[(triple3 OR ((triple4) -> rule4))] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is white.[(triple6)] Dave is furry.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Gary is red.[(triple11 OR ((triple9) -> rule3))] Gary is white.[(triple12)] @1: Dave is red.[(((triple7) -> rule3))] Gary is kind.[(((triple11) -> rule6) OR ((((triple9) -> rule3)) -> rule6))] @2: Dave is kind.[(((((triple7) -> rule3)) -> rule6))]