Anne is big. Anne is cold. Anne is furry. Anne is kind. Anne is red. Anne is round. Anne is smart. Round things are big. Round things are kind. If something is furry then it is smart. Smart things are cold. All big, round things are furry. If Anne is cold and Anne is kind then Anne is big. If Anne is not kind then Anne is smart. If Anne is cold and Anne is not kind then Anne is smart.
Anne is not smart.
@0: Anne is big.[(triple1 OR ((triple6) -> rule1) OR ((triple2 triple4) -> rule6) OR ((triple2 ((triple6) -> rule2)) -> rule6) OR ((((triple7) -> rule4) triple4) -> rule6) OR ((((triple7) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((triple3) -> rule3)) -> rule4) triple4) -> rule6) OR ((((((triple3) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6))] Anne is cold.[(triple2 OR ((triple7) -> rule4) OR ((((triple3) -> rule3)) -> rule4) OR ((((((triple1 triple6) -> rule5)) -> rule3)) -> rule4) OR ((((((((triple6) -> rule1) triple6) -> rule5)) -> rule3)) -> rule4))] Anne is furry.[(triple3 OR ((triple1 triple6) -> rule5) OR ((((triple6) -> rule1) triple6) -> rule5) OR ((((triple2 triple4) -> rule6) triple6) -> rule5) OR ((((triple2 ((triple6) -> rule2)) -> rule6) triple6) -> rule5) OR ((((((triple7) -> rule4) triple4) -> rule6) triple6) -> rule5) OR ((((((triple7) -> rule4) ((triple6) -> rule2)) -> rule6) triple6) -> rule5))] Anne is kind.[(triple4 OR ((triple6) -> rule2))] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7 OR ((triple3) -> rule3) OR ((((triple1 triple6) -> rule5)) -> rule3) OR ((((((triple6) -> rule1) triple6) -> rule5)) -> rule3) OR ((((((triple2 triple4) -> rule6) triple6) -> rule5)) -> rule3) OR ((((((triple2 ((triple6) -> rule2)) -> rule6) triple6) -> rule5)) -> rule3))]