Anne is not green. Anne is kind. Anne is smart. Anne is white. Bob is not young. Erin is furry. Erin is smart. Gary is green. Gary is round. Gary is smart. If Erin is round and Erin is green then Erin is kind. If someone is white then they are furry. If Erin is not kind and Erin is not green then Erin is white.
Anne is furry.
@0: Anne is kind.[(triple2)] Anne is not green.[(triple1)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Bob is not young.[(triple5)] Erin is furry.[(triple6)] Erin is smart.[(triple7)] Gary is green.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] @1: Anne is furry.[(((triple4) -> rule2))]