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