The bald eagle is big. The bald eagle likes the lion. The cat is not green. The cat is young. The lion is big. The rabbit eats the bald eagle. The rabbit visits the bald eagle. If someone likes the rabbit then they eat the cat. If someone is young then they eat the lion. If the lion visits the bald eagle and the bald eagle likes the rabbit then the bald eagle eats the rabbit.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat is young.
("cat" "is" "young" "+")
The lion is big.
("lion" "is" "big" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If someone likes the rabbit then they eat the cat.
((("someone" "likes" "rabbit" "+")) -> ("someone" "eats" "cat" "+"))
If someone is young then they eat the lion.
((("someone" "is" "young" "+")) -> ("someone" "eats" "lion" "+"))
If the lion visits the bald eagle and the bald eagle likes the rabbit then the bald eagle eats the rabbit.
((("lion" "visits" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
The bald eagle is big.
True
1
proof
[(triple1)]
("bald eagle" "is" "big" "+")
triple1
The lion is not big.
False
1
inv-proof
[(triple5)]
("lion" "is" "big" "-")
triple5
The cat eats the lion.
True
2
proof
[(((triple4) -> rule2))]
("cat" "eats" "lion" "+")
((triple4) -> (rule2 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat does not eat the lion.
False
2
inv-proof
[(((triple4) -> rule2))]
("cat" "eats" "lion" "-")
((triple4) -> (rule2 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The rabbit does not eat the lion.
Unknown
inv-rconc
[@1: The rabbit eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "lion" "-")
The cat eats the cat.
Unknown
rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "cat" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The cat eats the bald eagle.
Unknown
random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle likes the lion.[(triple2)] The cat is not green.[(triple3)] The cat is young.[(triple4)] The lion is big.[(triple5)] The rabbit eats the bald eagle.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The cat eats the lion.[(((triple4) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The cat is not green.
("cat" "is" "green" "-")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The lion is big.
("lion" "is" "big" "+")
triple5
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple6
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple7
The cat eats the lion.
("cat" "eats" "lion" "+")
((triple4) -> (rule2 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1