Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is white. If something is green then it is white. If something is nice then it is big. Big things are blue. All blue things are nice. All nice, cold things are big. If Anne is white then Anne is green.
Anne is white.
@0: Anne is big.[(triple1 OR ((triple6) -> rule2) OR ((triple6 triple3) -> rule5) OR ((((triple2) -> rule4)) -> rule2) OR ((((triple2) -> rule4) triple3) -> rule5))] Anne is blue.[(triple2 OR ((triple1) -> rule3) OR ((((triple6) -> rule2)) -> rule3) OR ((((triple6 triple3) -> rule5)) -> rule3))] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is green.[(triple5 OR ((triple7) -> rule6))] Anne is nice.[(triple6 OR ((triple2) -> rule4) OR ((((triple1) -> rule3)) -> rule4))] Anne is white.[(triple7 OR ((triple5) -> rule1))]