The bear is nice. The bear is round. The bear needs the cow. The bear needs the mouse. The cat eats the bear. The cat eats the cow. The cat needs the bear. The cow eats the mouse. The cow is red. The mouse chases the bear. The mouse chases the cat. The mouse eats the cow. The mouse is blue. The mouse is nice. The mouse is red. The mouse needs the bear. If someone is round then they need the cow. If the bear needs the cow and the cow needs the mouse then the cow is nice. If someone eats the mouse then the mouse is blue.
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is red.
("cow" "is" "red" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If someone is round then they need the cow.
((("someone" "is" "round" "+")) -> ("someone" "needs" "cow" "+"))
If the bear needs the cow and the cow needs the mouse then the cow is nice.
((("bear" "needs" "cow" "+") ("cow" "needs" "mouse" "+")) -> ("cow" "is" "nice" "+"))
If someone eats the mouse then the mouse is blue.
((("someone" "eats" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
The bear is nice.
True
1
proof
[(triple1)]
("bear" "is" "nice" "+")
triple1
The cat does not eat the bear.
False
1
inv-proof
[(triple5)]
("cat" "eats" "bear" "-")
triple5
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "nice" "-")
The cow needs the bear.
Unknown
random
[@0: The cow needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bear" "+")
@0: The bear is nice.[(triple1)] The bear is round.[(triple2)] The bear needs the cow.[(triple3 OR ((triple2) -> rule1))] The bear needs the mouse.[(triple4)] The cat eats the bear.[(triple5)] The cat eats the cow.[(triple6)] The cat needs the bear.[(triple7)] The cow eats the mouse.[(triple8)] The cow is red.[(triple9)] The mouse chases the bear.[(triple10)] The mouse chases the cat.[(triple11)] The mouse eats the cow.[(triple12)] The mouse is blue.[(triple13 OR ((triple8) -> rule3))] The mouse is nice.[(triple14)] The mouse is red.[(triple15)] The mouse needs the bear.[(triple16)]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear needs the cow.
("bear" "needs" "cow" "+")
triple3
((triple2) -> (rule1 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple4
The cat eats the bear.
("cat" "eats" "bear" "+")
triple5
The cat eats the cow.
("cat" "eats" "cow" "+")
triple6
The cat needs the bear.
("cat" "needs" "bear" "+")
triple7
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple8
The cow is red.
("cow" "is" "red" "+")
triple9
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple10
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple11
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple12
The mouse is blue.
("mouse" "is" "blue" "+")
triple13
((triple8) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
triple14
The mouse is red.
("mouse" "is" "red" "+")
triple15
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple16