The bald eagle eats the squirrel. The bald eagle likes the cat. The bald eagle sees the cat. The bald eagle sees the squirrel. The cat eats the bald eagle. The cat eats the squirrel. The cat is cold. The cat likes the bald eagle. The cat sees the bald eagle. The cat sees the squirrel. The squirrel eats the cat. The squirrel likes the bald eagle. The squirrel likes the cat. The squirrel sees the bald eagle. The squirrel sees the cat. If something eats the cat and the cat is young then it likes the cat. If something is green then it sees the squirrel. If something is blue then it eats the cat. If something eats the bald eagle and it sees the cat then the cat is green. If the bald eagle is young and the bald eagle likes the cat then the bald eagle is blue. If something is blue then it likes the cat. If the squirrel eats the cat and the cat likes the squirrel then the squirrel is cold. If something is blue and it sees the cat then it eats the squirrel.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If something eats the cat and the cat is young then it likes the cat.
((("something" "eats" "cat" "+") ("cat" "is" "young" "+")) -> ("something" "likes" "cat" "+"))
If something is green then it sees the squirrel.
((("something" "is" "green" "+")) -> ("something" "sees" "squirrel" "+"))
If something is blue then it eats the cat.
((("something" "is" "blue" "+")) -> ("something" "eats" "cat" "+"))
If something eats the bald eagle and it sees the cat then the cat is green.
((("something" "eats" "bald eagle" "+") ("something" "sees" "cat" "+")) -> ("cat" "is" "green" "+"))
If the bald eagle is young and the bald eagle likes the cat then the bald eagle is blue.
((("bald eagle" "is" "young" "+") ("bald eagle" "likes" "cat" "+")) -> ("bald eagle" "is" "blue" "+"))
If something is blue then it likes the cat.
((("something" "is" "blue" "+")) -> ("something" "likes" "cat" "+"))
If the squirrel eats the cat and the cat likes the squirrel then the squirrel is cold.
((("squirrel" "eats" "cat" "+") ("cat" "likes" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
If something is blue and it sees the cat then it eats the squirrel.
((("something" "is" "blue" "+") ("something" "sees" "cat" "+")) -> ("something" "eats" "squirrel" "+"))
The cat eats the bald eagle.
True
1
proof
[(triple5)]
("cat" "eats" "bald eagle" "+")
triple5
The squirrel does not like the bald eagle.
False
1
inv-proof
[(triple12)]
("squirrel" "likes" "bald eagle" "-")
triple12
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat eats the squirrel.[(triple6)] The cat is cold.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat sees the bald eagle.[(triple9)] The cat sees the squirrel.[(triple10)] The squirrel eats the cat.[(triple11)] The squirrel likes the bald eagle.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel sees the cat.[(triple15)]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple5
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple6
The cat is cold.
("cat" "is" "cold" "+")
triple7
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple8
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple9
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple10
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple11
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple12
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple13
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple14
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple15