The cow likes the squirrel. The dog is not big. The dog is round. The mouse is blue. The mouse does not like the squirrel. The squirrel eats the cow. The squirrel is not red. If the mouse likes the cow and the cow is blue then the mouse does not like the squirrel. If someone needs the squirrel and the squirrel is red then the squirrel is not round. If someone needs the cow then the cow eats the squirrel. If someone needs the squirrel then the squirrel is red. If someone eats the cow then they like the mouse. If someone is round then they eat the mouse. If the dog eats the mouse then the dog does not need the mouse. If someone needs the squirrel then the squirrel needs the mouse.
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The dog is not big.
("dog" "is" "big" "-")
The dog is round.
("dog" "is" "round" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
If the mouse likes the cow and the cow is blue then the mouse does not like the squirrel.
((("mouse" "likes" "cow" "+") ("cow" "is" "blue" "+")) -> ("mouse" "likes" "squirrel" "-"))
If someone needs the squirrel and the squirrel is red then the squirrel is not round.
((("someone" "needs" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "is" "round" "-"))
If someone needs the cow then the cow eats the squirrel.
((("someone" "needs" "cow" "+")) -> ("cow" "eats" "squirrel" "+"))
If someone needs the squirrel then the squirrel is red.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
If someone eats the cow then they like the mouse.
((("someone" "eats" "cow" "+")) -> ("someone" "likes" "mouse" "+"))
If someone is round then they eat the mouse.
((("someone" "is" "round" "+")) -> ("someone" "eats" "mouse" "+"))
If the dog eats the mouse then the dog does not need the mouse.
((("dog" "eats" "mouse" "+")) -> ("dog" "needs" "mouse" "-"))
If someone needs the squirrel then the squirrel needs the mouse.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "mouse" "+"))
The mouse is blue.
True
1
proof
[(triple4)]
("mouse" "is" "blue" "+")
triple4
The cow does not like the squirrel.
False
1
inv-proof
[(triple1)]
("cow" "likes" "squirrel" "-")
triple1
The squirrel likes the mouse.
True
2
proof
[(((triple6) -> rule5))]
("squirrel" "likes" "mouse" "+")
((triple6) -> (rule5 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel does not like the mouse.
False
2
inv-proof
[(((triple6) -> rule5))]
("squirrel" "likes" "mouse" "-")
((triple6) -> (rule5 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The dog does not need the mouse.
True
3
proof
[(((((triple3) -> rule6)) -> rule7))]
("dog" "needs" "mouse" "-")
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The dog needs the mouse.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule7))]
("dog" "needs" "mouse" "+")
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse eats the mouse.
Unknown
rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "eats" "mouse" "+")
The dog does not like the mouse.
Unknown
inv-rconc
[@1: The dog likes the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "likes" "mouse" "-")
The dog likes the cow.
Unknown
random
[@0: The dog likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cow" "+")
The mouse does not eat the squirrel.
Unknown
inv-random
[@0: The mouse eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "squirrel" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The cow likes the squirrel.[(triple1)] The dog is not big.[(triple2)] The dog is round.[(triple3)] The mouse does not like the squirrel.[(triple5)] The mouse is blue.[(triple4)] The squirrel eats the cow.[(triple6)] The squirrel is not red.[(triple7)] @1: The dog eats the mouse.[(((triple3) -> rule6))] The squirrel likes the mouse.[(((triple6) -> rule5))] @2: The dog does not need the mouse.[(((((triple3) -> rule6)) -> rule7))]
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple1
The dog is not big.
("dog" "is" "big" "-")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
triple5
The mouse is blue.
("mouse" "is" "blue" "+")
triple4
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple6
The squirrel is not red.
("squirrel" "is" "red" "-")
triple7
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((triple3) -> (rule6 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
((triple6) -> (rule5 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2