The bald eagle eats the bear. The bald eagle is not rough. The bald eagle likes the cat. The bald eagle sees the cat. The bear eats the bald eagle. The bear does not eat the cat. The bear is not big. The bear is not blue. The bear likes the cat. The bear sees the bald eagle. The bear sees the cat. The cat eats the bald eagle. The cat is cold. The cat is not rough. The cat likes the bald eagle. The cat likes the bear. Blue people are big. If someone likes the bald eagle then they eat the cat. If someone is green and not rough then they eat the bear. If someone is big and not rough then they eat the bald eagle. If someone likes the cat and they are not big then the cat eats the bald eagle. If the cat eats the bald eagle and the cat is not blue then the bald eagle does not eat the bear.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The bear is not big.
("bear" "is" "big" "-")
The bear is not blue.
("bear" "is" "blue" "-")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
Blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone likes the bald eagle then they eat the cat.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "eats" "cat" "+"))
If someone is green and not rough then they eat the bear.
((("someone" "is" "green" "+") ("someone" "is" "rough" "~")) -> ("someone" "eats" "bear" "+"))
If someone is big and not rough then they eat the bald eagle.
((("someone" "is" "big" "+") ("someone" "is" "rough" "~")) -> ("someone" "eats" "bald eagle" "+"))
If someone likes the cat and they are not big then the cat eats the bald eagle.
((("someone" "likes" "cat" "+") ("someone" "is" "big" "~")) -> ("cat" "eats" "bald eagle" "+"))
If the cat eats the bald eagle and the cat is not blue then the bald eagle does not eat the bear.
((("cat" "eats" "bald eagle" "+") ("cat" "is" "blue" "~")) -> ("bald eagle" "eats" "bear" "-"))
The bear does not eat the cat.
True
1
proof
[(triple6)]
("bear" "eats" "cat" "-")
triple6
The bald eagle does not like the cat.
False
1
inv-proof
[(triple3)]
("bald eagle" "likes" "cat" "-")
triple3
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is not rough.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle sees the cat.[(triple4)] The bear does not eat the cat.[(triple6)] The bear eats the bald eagle.[(triple5)] The bear is not big.[(triple7)] The bear is not blue.[(triple8)] The bear likes the cat.[(triple9)] The bear sees the bald eagle.[(triple10)] The bear sees the cat.[(triple11)] The cat eats the bald eagle.[(triple12 OR ((triple9 triple7) -> rule5))] The cat is cold.[(triple13)] The cat is not rough.[(triple14)] The cat likes the bald eagle.[(triple15)] The cat likes the bear.[(triple16)] @1: The cat eats the cat.[(((triple15) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple4
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple6
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The bear is not big.
("bear" "is" "big" "-")
triple7
The bear is not blue.
("bear" "is" "blue" "-")
triple8
The bear likes the cat.
("bear" "likes" "cat" "+")
triple9
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple10
The bear sees the cat.
("bear" "sees" "cat" "+")
triple11
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple12
((triple9 triple7) -> (rule5 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
triple13
The cat is not rough.
("cat" "is" "rough" "-")
triple14
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple15
The cat likes the bear.
("cat" "likes" "bear" "+")
triple16
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple15) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1