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