The bear likes the squirrel. The mouse chases the squirrel. The squirrel visits the mouse. If someone likes the bear then the bear likes the mouse. If someone likes the bear then the bear likes the mouse. If someone chases the bear and they like the bear then they do not chase the mouse. If someone chases the squirrel then they chase the mouse. If someone chases the mouse then the mouse chases the bear. If someone chases the bear and they like the bear then the bear likes the squirrel. If someone likes the squirrel and the squirrel does not like the mouse then the squirrel is red. If someone chases the squirrel then the squirrel visits the mouse.
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone likes the bear then the bear likes the mouse.
((("someone" "likes" "bear" "+")) -> ("bear" "likes" "mouse" "+"))
If someone likes the bear then the bear likes the mouse.
((("someone" "likes" "bear" "+")) -> ("bear" "likes" "mouse" "+"))
If someone chases the bear and they like the bear then they do not chase the mouse.
((("someone" "chases" "bear" "+") ("someone" "likes" "bear" "+")) -> ("someone" "chases" "mouse" "-"))
If someone chases the squirrel then they chase the mouse.
((("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "mouse" "+"))
If someone chases the mouse then the mouse chases the bear.
((("someone" "chases" "mouse" "+")) -> ("mouse" "chases" "bear" "+"))
If someone chases the bear and they like the bear then the bear likes the squirrel.
((("someone" "chases" "bear" "+") ("someone" "likes" "bear" "+")) -> ("bear" "likes" "squirrel" "+"))
If someone likes the squirrel and the squirrel does not like the mouse then the squirrel is red.
((("someone" "likes" "squirrel" "+") ("squirrel" "likes" "mouse" "~")) -> ("squirrel" "is" "red" "+"))
If someone chases the squirrel then the squirrel visits the mouse.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "visits" "mouse" "+"))
The bear likes the squirrel.
True
1
proof
[(triple1)]
("bear" "likes" "squirrel" "+")
triple1
The bear does not like the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "likes" "squirrel" "-")
triple1
The mouse chases the mouse.
True
2
proof
[(((triple2) -> rule4))]
("mouse" "chases" "mouse" "+")
((triple2) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
False
2
inv-proof
[(((triple2) -> rule4))]
("mouse" "chases" "mouse" "-")
((triple2) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse chases the bear.
True
3
proof
[(((((triple2) -> rule4)) -> rule5))]
("mouse" "chases" "bear" "+")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse does not chase the bear.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule5))]
("mouse" "chases" "bear" "-")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The bear does not like the mouse.
Unknown
inv-rconc
[@1: The bear likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "mouse" "-")
The squirrel is red.
Unknown
rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "red" "+")
The squirrel does not chase the mouse.
Unknown
inv-rconc
[@1: The squirrel chases the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "chases" "mouse" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
The squirrel does not like the bear.
Unknown
inv-random
[@0: The squirrel likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bear" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
@0: The bear likes the squirrel.[(triple1)] The mouse chases the squirrel.[(triple2)] The squirrel visits the mouse.[(triple3 OR ((triple2) -> rule8))] @1: The mouse chases the mouse.[(((triple2) -> rule4))] @2: The mouse chases the bear.[(((((triple2) -> rule4)) -> rule5))]
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple1
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple2
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple3
((triple2) -> (rule8 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple2) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2