Anne is not blue. Anne is furry. Anne is white. Erin is rough. Fiona is blue. Gary is round. Gary is white. All white people are nice. Rough, white people are not nice. Rough people are not blue. If someone is furry and rough then they are not round. If someone is rough then they are not round. If Anne is white then Anne is not rough. All round, furry people are not white. All nice people are white.
Gary is not round.
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1)] Anne is white.[(triple3)] Erin is rough.[(triple4)] Fiona is blue.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)] @1: Anne is nice.[(((triple3) -> rule1))] Anne is not rough.[(((triple3) -> rule6))] Erin is not blue.[(((triple4) -> rule3))] Erin is not round.[(((triple4) -> rule5))] Gary is nice.[(((triple7) -> rule1))]