Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is white. Anne is young. Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is white. Dave is young. Furry, green things are nice. All furry things are quiet. If Anne is green and Anne is furry then Anne is big. If something is young and green then it is big. If Anne is green then Anne is young. All furry things are white. If Anne is green then Anne is furry. If Anne is white then Anne is green.
Anne is not big.
@0: Anne is big.[(triple1 OR ((triple6 triple2) -> rule4) OR ((triple2 ((triple2) -> rule7)) -> rule3) OR ((triple6 ((triple5) -> rule8)) -> rule4) OR ((((triple2) -> rule5) triple2) -> rule4) OR ((((triple2) -> rule5) ((triple5) -> rule8)) -> rule4) OR ((((triple5) -> rule8) ((triple2) -> rule7)) -> rule3) OR ((triple2 ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((((((triple5) -> rule8)) -> rule5) triple2) -> rule4) OR ((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((((((triple5) -> rule8)) -> rule5) ((triple5) -> rule8)) -> rule4))] Anne is green.[(triple2 OR ((triple5) -> rule8))] Anne is nice.[(triple3 OR ((((triple2) -> rule7) triple2) -> rule1) OR ((((triple2) -> rule7) ((triple5) -> rule8)) -> rule1) OR ((((((triple5) -> rule8)) -> rule7) triple2) -> rule1) OR ((((((triple5) -> rule8)) -> rule7) ((triple5) -> rule8)) -> rule1))] Anne is quiet.[(triple4 OR ((((triple2) -> rule7)) -> rule2) OR ((((((triple5) -> rule8)) -> rule7)) -> rule2))] Anne is white.[(triple5 OR ((((triple2) -> rule7)) -> rule6))] Anne is young.[(triple6 OR ((triple2) -> rule5) OR ((((triple5) -> rule8)) -> rule5))] Dave is big.[(triple7 OR ((triple12 triple8) -> rule4))] Dave is green.[(triple8)] Dave is nice.[(triple9)] Dave is quiet.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12)] @1: Anne is furry.[(((triple2) -> rule7) OR ((((triple5) -> rule8)) -> rule7))]