Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is smart. Anne is white. If someone is cold and white then they are smart. If someone is nice then they are smart. If someone is green then they are red. If Anne is red then Anne is cold. Red people are smart. If someone is red and smart then they are green.
Anne is green.
@0: Anne is cold.[(triple1 OR ((triple5) -> rule4) OR ((((triple2) -> rule3)) -> rule4))] Anne is green.[(triple2 OR ((triple5 triple6) -> rule6) OR ((triple5 ((triple4) -> rule2)) -> rule6) OR ((triple5 ((triple5) -> rule5)) -> rule6) OR ((triple5 ((triple1 triple7) -> rule1)) -> rule6) OR ((triple5 ((((triple5) -> rule4) triple7) -> rule1)) -> rule6))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5 OR ((triple2) -> rule3))] Anne is smart.[(triple6 OR ((triple4) -> rule2) OR ((triple5) -> rule5) OR ((triple1 triple7) -> rule1) OR ((((triple2) -> rule3)) -> rule5) OR ((((triple5) -> rule4) triple7) -> rule1) OR ((((((triple2) -> rule3)) -> rule4) triple7) -> rule1))] Anne is white.[(triple7)]