The bald eagle is young. The cat likes the bald eagle. The squirrel chases the bald eagle. If the bald eagle chases the squirrel then the bald eagle eats the cat. If someone is young and round then they eat the cat. If the cat is blue and the cat eats the squirrel then the cat eats the bald eagle. If the squirrel is big then the squirrel eats the cat. If someone eats the squirrel and the squirrel eats the cat then the squirrel chases the bald eagle. If someone likes the bald eagle then they eat the bald eagle. If someone is round and they like the cat then the cat likes the bald eagle. If someone likes the bald eagle then the bald eagle eats the cat.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
If the bald eagle chases the squirrel then the bald eagle eats the cat.
((("bald eagle" "chases" "squirrel" "+")) -> ("bald eagle" "eats" "cat" "+"))
If someone is young and round then they eat the cat.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "eats" "cat" "+"))
If the cat is blue and the cat eats the squirrel then the cat eats the bald eagle.
((("cat" "is" "blue" "+") ("cat" "eats" "squirrel" "+")) -> ("cat" "eats" "bald eagle" "+"))
If the squirrel is big then the squirrel eats the cat.
((("squirrel" "is" "big" "+")) -> ("squirrel" "eats" "cat" "+"))
If someone eats the squirrel and the squirrel eats the cat then the squirrel chases the bald eagle.
((("someone" "eats" "squirrel" "+") ("squirrel" "eats" "cat" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If someone likes the bald eagle then they eat the bald eagle.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is round and they like the cat then the cat likes the bald eagle.
((("someone" "is" "round" "+") ("someone" "likes" "cat" "+")) -> ("cat" "likes" "bald eagle" "+"))
If someone likes the bald eagle then the bald eagle eats the cat.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
The bald eagle is young.
True
1
proof
[(triple1)]
("bald eagle" "is" "young" "+")
triple1
The bald eagle is not young.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "young" "-")
triple1
The cat eats the bald eagle.
True
2
proof
[(((triple2) -> rule6))]
("cat" "eats" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the cat.
False
2
inv-proof
[(((triple2) -> rule8))]
("bald eagle" "eats" "cat" "-")
((triple2) -> (rule8 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The squirrel does not eat the cat.
Unknown
inv-rconc
[@1: The squirrel eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "cat" "-")
The cat eats the cat.
Unknown
rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "cat" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle is young.[(triple1)] The cat likes the bald eagle.[(triple2)] The squirrel chases the bald eagle.[(triple3)] @1: The bald eagle eats the cat.[(((triple2) -> rule8))] The cat eats the bald eagle.[(((triple2) -> rule6))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple3
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
((triple2) -> (rule8 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1