The bald eagle chases the squirrel. The bald eagle eats the squirrel. The bald eagle is red. The bald eagle likes the mouse. The lion chases the squirrel. The lion eats the bald eagle. The lion eats the mouse. The lion is rough. The mouse eats the bald eagle. The squirrel is kind. If something is red then it likes the squirrel. If something likes the mouse and it is rough then it does not chase the squirrel. If something chases the squirrel and it is not rough then it likes the lion. If something chases the squirrel then it eats the lion. If something eats the squirrel then it does not eat the mouse. If something is kind then it eats the mouse. If something eats the mouse and it is kind then the mouse chases the lion. If something is red and it chases the lion then the lion likes the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is rough.
("lion" "is" "rough" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If something is red then it likes the squirrel.
((("something" "is" "red" "+")) -> ("something" "likes" "squirrel" "+"))
If something likes the mouse and it is rough then it does not chase the squirrel.
((("something" "likes" "mouse" "+") ("something" "is" "rough" "+")) -> ("something" "chases" "squirrel" "-"))
If something chases the squirrel and it is not rough then it likes the lion.
((("something" "chases" "squirrel" "+") ("something" "is" "rough" "~")) -> ("something" "likes" "lion" "+"))
If something chases the squirrel then it eats the lion.
((("something" "chases" "squirrel" "+")) -> ("something" "eats" "lion" "+"))
If something eats the squirrel then it does not eat the mouse.
((("something" "eats" "squirrel" "+")) -> ("something" "eats" "mouse" "-"))
If something is kind then it eats the mouse.
((("something" "is" "kind" "+")) -> ("something" "eats" "mouse" "+"))
If something eats the mouse and it is kind then the mouse chases the lion.
((("something" "eats" "mouse" "+") ("something" "is" "kind" "+")) -> ("mouse" "chases" "lion" "+"))
If something is red and it chases the lion then the lion likes the bald eagle.
((("something" "is" "red" "+") ("something" "chases" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
The bald eagle chases the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "chases" "squirrel" "+")
triple1
The mouse does not eat the bald eagle.
False
1
inv-proof
[(triple9)]
("mouse" "eats" "bald eagle" "-")
triple9
The bald eagle eats the lion.
True
2
proof
[(((triple1) -> rule4))]
("bald eagle" "eats" "lion" "+")
((triple1) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle does not like the squirrel.
False
2
inv-proof
[(((triple3) -> rule1))]
("bald eagle" "likes" "squirrel" "-")
((triple3) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The mouse chases the lion.
True
4
proof
[(((((triple10) -> rule6) triple10) -> rule7))]
("mouse" "chases" "lion" "+")
((((triple10) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int2
The mouse does not chase the lion.
False
4
inv-proof
[(((((triple10) -> rule6) triple10) -> rule7))]
("mouse" "chases" "lion" "-")
((((triple10) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int2
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "lion" "-")
The squirrel likes the lion.
Unknown
rconc
[@1: The squirrel likes the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "lion" "+")
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
The lion is not red.
Unknown
inv-random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle likes the mouse.[(triple4)] The lion chases the squirrel.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion eats the mouse.[(triple7)] The lion is rough.[(triple8)] The mouse eats the bald eagle.[(triple9)] The squirrel is kind.[(triple10)] @1: The bald eagle does not eat the mouse.[(((triple2) -> rule5))] The bald eagle eats the lion.[(((triple1) -> rule4))] The bald eagle likes the squirrel.[(((triple3) -> rule1))] The lion eats the lion.[(((triple5) -> rule4))] The squirrel eats the mouse.[(((triple10) -> rule6))] @2: The mouse chases the lion.[(((((triple10) -> rule6) triple10) -> rule7))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple4
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple5
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple6
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
((triple2) -> (rule5 % int1))
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple1) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((triple3) -> (rule1 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple5) -> (rule4 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
((triple10) -> (rule6 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
((((triple10) -> (rule6 % int2)) triple10) -> (rule7 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int2