The bear does not chase the mouse. The bear eats the mouse. The bear is not kind. The bear is nice. The dog chases the mouse. The dog eats the mouse. The dog is not big. The dog needs the bear. The mouse chases the bear. The mouse does not chase the dog. The mouse eats the bear. The mouse does not eat the dog. The mouse is nice. The mouse is young. The mouse needs the bear. The mouse needs the dog. If the bear needs the dog then the dog chases the bear.
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear is nice.
("bear" "is" "nice" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is not big.
("dog" "is" "big" "-")
The dog needs the bear.
("dog" "needs" "bear" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse does not chase the dog.
("mouse" "chases" "dog" "-")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If the bear needs the dog then the dog chases the bear.
((("bear" "needs" "dog" "+")) -> ("dog" "chases" "bear" "+"))
The bear does not chase the mouse.
True
1
proof
[(triple1)]
("bear" "chases" "mouse" "-")
triple1
The bear does not eat the mouse.
False
1
inv-proof
[(triple2)]
("bear" "eats" "mouse" "-")
triple2
The dog does not chase the bear.
Unknown
inv-rconc
[@1: The dog chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "bear" "-")
The bear chases the dog.
Unknown
random
[@0: The bear chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "dog" "+")
@0: The bear does not chase the mouse.[(triple1)] The bear eats the mouse.[(triple2)] The bear is nice.[(triple4)] The bear is not kind.[(triple3)] The dog chases the mouse.[(triple5)] The dog eats the mouse.[(triple6)] The dog is not big.[(triple7)] The dog needs the bear.[(triple8)] The mouse chases the bear.[(triple9)] The mouse does not chase the dog.[(triple10)] The mouse does not eat the dog.[(triple12)] The mouse eats the bear.[(triple11)] The mouse is nice.[(triple13)] The mouse is young.[(triple14)] The mouse needs the bear.[(triple15)] The mouse needs the dog.[(triple16)]
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is not kind.
("bear" "is" "kind" "-")
triple3
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple6
The dog is not big.
("dog" "is" "big" "-")
triple7
The dog needs the bear.
("dog" "needs" "bear" "+")
triple8
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple9
The mouse does not chase the dog.
("mouse" "chases" "dog" "-")
triple10
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
triple12
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
The mouse is young.
("mouse" "is" "young" "+")
triple14
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple15
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple16