Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is not red. Anne is not round. Anne is white. If someone is red then they are white. If Anne is furry and Anne is white then Anne is nice. If someone is green then they are not round. If someone is white and not red then they are not round. If someone is nice then they are cold. White, round people are green. If Anne is furry then Anne is cold. If Anne is green and Anne is not white then Anne is cold.
Anne is round.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule7) OR ((triple4) -> rule5) OR ((((triple2 triple7) -> rule2)) -> rule5))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4 OR ((triple2 triple7) -> rule2))] Anne is not red.[(triple5)] Anne is not round.[(triple6 OR ((triple3) -> rule3) OR ((triple7 triple5) -> rule4))] Anne is white.[(triple7)]