Anne is nice. Anne is round. Anne is white. Erin is furry. Erin is green. Erin is nice. Erin is red. If Anne is kind and Anne is nice then Anne is green. If something is round and red then it is white. Red things are kind. Green, furry things are white. If Erin is furry and Erin is green then Erin is round. If Anne is furry then Anne is kind. If Erin is kind and Erin is white then Erin is furry. If Anne is white and Anne is green then Anne is round.
Anne is red.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Erin is furry.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6)] Erin is red.[(triple7)] @1: Erin is kind.[(((triple7) -> rule3))] Erin is round.[(((triple4 triple5) -> rule5))] Erin is white.[(((triple5 triple4) -> rule4) OR ((((triple4 triple5) -> rule5) triple7) -> rule2))]