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