The bald eagle eats the cat. The bald eagle eats the tiger. The bald eagle is blue. The cat eats the bald eagle. The cat likes the bald eagle. The squirrel chases the cat. The tiger chases the bald eagle. If something eats the bald eagle and the bald eagle chases the squirrel then the squirrel is rough. If something likes the tiger then the tiger likes the cat. If something is rough then it chases the cat. If something is blue and it eats the tiger then the tiger chases the squirrel. If something chases the tiger and the tiger eats the bald eagle then it likes the bald eagle. If the tiger is rough then the tiger likes the bald eagle. If something is rough and it eats the squirrel then the squirrel chases the bald eagle. If something likes the bald eagle and the bald eagle is green then the bald eagle chases the tiger.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
If something eats the bald eagle and the bald eagle chases the squirrel then the squirrel is rough.
((("something" "eats" "bald eagle" "+") ("bald eagle" "chases" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If something likes the tiger then the tiger likes the cat.
((("something" "likes" "tiger" "+")) -> ("tiger" "likes" "cat" "+"))
If something is rough then it chases the cat.
((("something" "is" "rough" "+")) -> ("something" "chases" "cat" "+"))
If something is blue and it eats the tiger then the tiger chases the squirrel.
((("something" "is" "blue" "+") ("something" "eats" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
If something chases the tiger and the tiger eats the bald eagle then it likes the bald eagle.
((("something" "chases" "tiger" "+") ("tiger" "eats" "bald eagle" "+")) -> ("something" "likes" "bald eagle" "+"))
If the tiger is rough then the tiger likes the bald eagle.
((("tiger" "is" "rough" "+")) -> ("tiger" "likes" "bald eagle" "+"))
If something is rough and it eats the squirrel then the squirrel chases the bald eagle.
((("something" "is" "rough" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If something likes the bald eagle and the bald eagle is green then the bald eagle chases the tiger.
((("something" "likes" "bald eagle" "+") ("bald eagle" "is" "green" "+")) -> ("bald eagle" "chases" "tiger" "+"))
The cat likes the bald eagle.
True
1
proof
[(triple5)]
("cat" "likes" "bald eagle" "+")
triple5
The bald eagle does not eat the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "cat" "-")
triple1
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "rough" "-")
The bald eagle likes the squirrel.
Unknown
random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat likes the bald eagle.[(triple5)] The squirrel chases the cat.[(triple6)] The tiger chases the bald eagle.[(triple7)] @1: The tiger chases the squirrel.[(((triple3 triple2) -> rule4))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple4
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple6
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple7
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((triple3 triple2) -> (rule4 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1