The cow eats the squirrel. The cow likes the squirrel. The cow needs the squirrel. The dog eats the cow. The dog eats the mouse. The dog is nice. The dog needs the cow. The mouse is green. The mouse likes the squirrel. The squirrel is green. The squirrel likes the cow. The squirrel needs the cow. If the squirrel is green and the squirrel eats the dog then the dog needs the mouse. If someone is cold and they need the squirrel then they are round. If someone likes the mouse then the mouse is nice. If someone eats the cow then they need the mouse. If the cow is nice then the cow needs the squirrel. If someone eats the squirrel then the squirrel needs the mouse. If the mouse likes the dog then the mouse is nice. If the squirrel needs the cow then the cow is nice.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If the squirrel is green and the squirrel eats the dog then the dog needs the mouse.
((("squirrel" "is" "green" "+") ("squirrel" "eats" "dog" "+")) -> ("dog" "needs" "mouse" "+"))
If someone is cold and they need the squirrel then they are round.
((("someone" "is" "cold" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "is" "round" "+"))
If someone likes the mouse then the mouse is nice.
((("someone" "likes" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If someone eats the cow then they need the mouse.
((("someone" "eats" "cow" "+")) -> ("someone" "needs" "mouse" "+"))
If the cow is nice then the cow needs the squirrel.
((("cow" "is" "nice" "+")) -> ("cow" "needs" "squirrel" "+"))
If someone eats the squirrel then the squirrel needs the mouse.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "needs" "mouse" "+"))
If the mouse likes the dog then the mouse is nice.
((("mouse" "likes" "dog" "+")) -> ("mouse" "is" "nice" "+"))
If the squirrel needs the cow then the cow is nice.
((("squirrel" "needs" "cow" "+")) -> ("cow" "is" "nice" "+"))
The dog needs the cow.
True
1
proof
[(triple7)]
("dog" "needs" "cow" "+")
triple7
The cow does not like the squirrel.
False
1
inv-proof
[(triple2)]
("cow" "likes" "squirrel" "-")
triple2
The cow is nice.
True
2
proof
[(((triple12) -> rule8))]
("cow" "is" "nice" "+")
((triple12) -> (rule8 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The squirrel does not need the mouse.
False
2
inv-proof
[(((triple1) -> rule6))]
("squirrel" "needs" "mouse" "-")
((triple1) -> (rule6 % int1))
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
int1
The mouse is not nice.
Unknown
inv-rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "nice" "-")
The squirrel is round.
Unknown
rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "round" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The squirrel likes the mouse.
Unknown
random
[@0: The squirrel likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "mouse" "+")
@0: The cow eats the squirrel.[(triple1)] The cow likes the squirrel.[(triple2)] The cow needs the squirrel.[(triple3 OR ((((triple12) -> rule8)) -> rule5))] The dog eats the cow.[(triple4)] The dog eats the mouse.[(triple5)] The dog is nice.[(triple6)] The dog needs the cow.[(triple7)] The mouse is green.[(triple8)] The mouse likes the squirrel.[(triple9)] The squirrel is green.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel needs the cow.[(triple12)] @1: The cow is nice.[(((triple12) -> rule8))] The dog needs the mouse.[(((triple4) -> rule4))] The squirrel needs the mouse.[(((triple1) -> rule6))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple2
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple3
((((triple12) -> (rule8 % int2))) -> (rule5 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The dog eats the cow.
("dog" "eats" "cow" "+")
triple4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple6
The dog needs the cow.
("dog" "needs" "cow" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple11
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple12
The cow is nice.
("cow" "is" "nice" "+")
((triple12) -> (rule8 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The dog needs the mouse.
("dog" "needs" "mouse" "+")
((triple4) -> (rule4 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
((triple1) -> (rule6 % int1))
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
int1