Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is white. White, nice things are cold. White things are cold. All nice things are red. If Anne is red then Anne is white. Rough, blue things are cold. If Anne is red then Anne is cold. All nice, kind things are cold. All kind, cold things are rough.
Anne is not rough.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple5) -> rule6) OR ((triple7) -> rule2) OR ((triple4 triple3) -> rule7) OR ((triple6 triple1) -> rule5) OR ((triple7 triple4) -> rule1) OR ((((triple4) -> rule3)) -> rule6) OR ((((triple5) -> rule4)) -> rule2) OR ((((triple5) -> rule4) triple4) -> rule1) OR ((((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((triple4) -> rule3)) -> rule4) triple4) -> rule1))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5 OR ((triple4) -> rule3))] Anne is rough.[(triple6 OR ((triple3 triple2) -> rule8) OR ((triple3 ((triple5) -> rule6)) -> rule8) OR ((triple3 ((triple7) -> rule2)) -> rule8) OR ((triple3 ((triple4 triple3) -> rule7)) -> rule8) OR ((triple3 ((triple7 triple4) -> rule1)) -> rule8) OR ((triple3 ((((triple4) -> rule3)) -> rule6)) -> rule8) OR ((triple3 ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((triple3 ((((triple5) -> rule4) triple4) -> rule1)) -> rule8) OR ((triple3 ((((((triple4) -> rule3)) -> rule4)) -> rule2)) -> rule8) OR ((triple3 ((((((triple4) -> rule3)) -> rule4) triple4) -> rule1)) -> rule8))] Anne is white.[(triple7 OR ((triple5) -> rule4) OR ((((triple4) -> rule3)) -> rule4))]