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