Anne is furry. Anne is nice. Anne is not rough. Anne is smart. Erin is not rough. Erin is smart. Erin is young. Gary is furry. Gary is not red. Gary is smart. Round people are rough. If Erin is smart then Erin is red. If Erin is nice then Erin is not red. If Anne is rough and Anne is nice then Anne is furry. All young, furry people are not nice. Smart, red people are furry. If someone is nice and not round then they are not furry. If Anne is round and Anne is not rough then Anne is not young.
Anne is not red.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is not rough.[(triple3)] Anne is smart.[(triple4)] Erin is not rough.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] Gary is furry.[(triple8)] Gary is not red.[(triple9)] Gary is smart.[(triple10)] @1: Erin is red.[(((triple6) -> rule2))] @2: Erin is furry.[(((triple6 ((triple6) -> rule2)) -> rule6))] @3: Erin is not nice.[(((triple7 ((triple6 ((triple6) -> rule2)) -> rule6)) -> rule5))]