The bald eagle eats the cat. The bald eagle is big. The bald eagle is blue. The bald eagle likes the lion. The bald eagle needs the cat. The cat eats the cow. The cat likes the cow. The cat likes the lion. The cow is nice. The cow likes the bald eagle. The cow likes the lion. The cow needs the bald eagle. The cow needs the lion. The lion eats the cat. The lion is big. If someone is nice then they need the cat.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is big.
("lion" "is" "big" "+")
If someone is nice then they need the cat.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "cat" "+"))
The bald eagle is blue.
True
1
proof
[(triple3)]
("bald eagle" "is" "blue" "+")
triple3
The cow is not nice.
False
1
inv-proof
[(triple9)]
("cow" "is" "nice" "-")
triple9
The cow needs the cat.
True
2
proof
[(((triple9) -> rule1))]
("cow" "needs" "cat" "+")
((triple9) -> (rule1 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The cow does not need the cat.
False
2
inv-proof
[(((triple9) -> rule1))]
("cow" "needs" "cat" "-")
((triple9) -> (rule1 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The cat does not need the cat.
Unknown
inv-rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "cat" "-")
The lion needs the cat.
Unknown
rconc
[@1: The lion needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "cat" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The cow eats the bald eagle.
Unknown
random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle needs the cat.[(triple5)] The cat eats the cow.[(triple6)] The cat likes the cow.[(triple7)] The cat likes the lion.[(triple8)] The cow is nice.[(triple9)] The cow likes the bald eagle.[(triple10)] The cow likes the lion.[(triple11)] The cow needs the bald eagle.[(triple12)] The cow needs the lion.[(triple13)] The lion eats the cat.[(triple14)] The lion is big.[(triple15)] @1: The cow needs the cat.[(((triple9) -> rule1))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple5
The cat eats the cow.
("cat" "eats" "cow" "+")
triple6
The cat likes the cow.
("cat" "likes" "cow" "+")
triple7
The cat likes the lion.
("cat" "likes" "lion" "+")
triple8
The cow is nice.
("cow" "is" "nice" "+")
triple9
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple10
The cow likes the lion.
("cow" "likes" "lion" "+")
triple11
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple12
The cow needs the lion.
("cow" "needs" "lion" "+")
triple13
The lion eats the cat.
("lion" "eats" "cat" "+")
triple14
The lion is big.
("lion" "is" "big" "+")
triple15
The cow needs the cat.
("cow" "needs" "cat" "+")
((triple9) -> (rule1 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1