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