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