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