Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is rough. If something is green then it is rough. If Anne is rough then Anne is red. Rough things are cold. If something is nice then it is rough. Quiet things are green. All rough things are cold. All rough things are furry. Red, quiet things are green.
Anne is not green.
@0: Anne is cold.[(triple1 OR ((triple7) -> rule3) OR ((triple7) -> rule6) OR ((((triple3) -> rule1)) -> rule3) OR ((((triple3) -> rule1)) -> rule6) OR ((((triple4) -> rule4)) -> rule3) OR ((((triple4) -> rule4)) -> rule6) OR ((((((triple5) -> rule5)) -> rule1)) -> rule3) OR ((((((triple5) -> rule5)) -> rule1)) -> rule6) OR ((((((triple6 triple5) -> rule8)) -> rule1)) -> rule3) OR ((((((triple6 triple5) -> rule8)) -> rule1)) -> rule6))] Anne is furry.[(triple2 OR ((triple7) -> rule7) OR ((((triple3) -> rule1)) -> rule7) OR ((((triple4) -> rule4)) -> rule7) OR ((((((triple5) -> rule5)) -> rule1)) -> rule7) OR ((((((triple6 triple5) -> rule8)) -> rule1)) -> rule7))] Anne is green.[(triple3 OR ((triple5) -> rule5) OR ((triple6 triple5) -> rule8) OR ((((triple7) -> rule2) triple5) -> rule8) OR ((((((triple4) -> rule4)) -> rule2) triple5) -> rule8))] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is red.[(triple6 OR ((triple7) -> rule2) OR ((((triple3) -> rule1)) -> rule2) OR ((((triple4) -> rule4)) -> rule2) OR ((((((triple5) -> rule5)) -> rule1)) -> rule2))] Anne is rough.[(triple7 OR ((triple3) -> rule1) OR ((triple4) -> rule4) OR ((((triple5) -> rule5)) -> rule1) OR ((((triple6 triple5) -> rule8)) -> rule1))]