The bald eagle eats the bear. The bear eats the cow. The cow is green. If someone visits the bear then they like the bald eagle. If someone visits the bald eagle then they visit the bear. If someone eats the bald eagle and they eat the bear then the bear likes the cow. If someone is green then they like the bald eagle. If the bear likes the bald eagle and the bear eats the cow then the bear is green. If someone likes the bald eagle and they are green then they visit the bald eagle. If someone is red and they like the cow then they are round. If someone visits the cow and they are nice then the cow eats the bald eagle.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The cow is green.
("cow" "is" "green" "+")
If someone visits the bear then they like the bald eagle.
((("someone" "visits" "bear" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone visits the bald eagle then they visit the bear.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "visits" "bear" "+"))
If someone eats the bald eagle and they eat the bear then the bear likes the cow.
((("someone" "eats" "bald eagle" "+") ("someone" "eats" "bear" "+")) -> ("bear" "likes" "cow" "+"))
If someone is green then they like the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the bear likes the bald eagle and the bear eats the cow then the bear is green.
((("bear" "likes" "bald eagle" "+") ("bear" "eats" "cow" "+")) -> ("bear" "is" "green" "+"))
If someone likes the bald eagle and they are green then they visit the bald eagle.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "green" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is red and they like the cow then they are round.
((("someone" "is" "red" "+") ("someone" "likes" "cow" "+")) -> ("someone" "is" "round" "+"))
If someone visits the cow and they are nice then the cow eats the bald eagle.
((("someone" "visits" "cow" "+") ("someone" "is" "nice" "+")) -> ("cow" "eats" "bald eagle" "+"))
The cow is green.
True
1
proof
[(triple3)]
("cow" "is" "green" "+")
triple3
The bald eagle does not eat the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "bear" "-")
triple1
The cow likes the bald eagle.
True
2
proof
[(((triple3) -> rule4))]
("cow" "likes" "bald eagle" "+")
((triple3) -> (rule4 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow does not like the bald eagle.
False
2
inv-proof
[(((triple3) -> rule4))]
("cow" "likes" "bald eagle" "-")
((triple3) -> (rule4 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow visits the bald eagle.
True
4
proof
[(((((triple3) -> rule4) triple3) -> rule6))]
("cow" "visits" "bald eagle" "+")
((((triple3) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow does not visit the bald eagle.
False
4
inv-proof
[(((((triple3) -> rule4) triple3) -> rule6))]
("cow" "visits" "bald eagle" "-")
((((triple3) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow visits the bear.
True
5
proof
[(((((((triple3) -> rule4) triple3) -> rule6)) -> rule2))]
("cow" "visits" "bear" "+")
((((((triple3) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule2 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int3
The cow does not visit the bear.
False
5
inv-proof
[(((((((triple3) -> rule4) triple3) -> rule6)) -> rule2))]
("cow" "visits" "bear" "-")
((((((triple3) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule2 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int3
The bear does not like the cow.
Unknown
inv-rconc
[@1: The bear likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "cow" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "round" "+")
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@3: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule6 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
The cow does not like the bear.
Unknown
inv-random
[@0: The cow likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bear" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The bald eagle eats the bear.[(triple1)] The bear eats the cow.[(triple2)] The cow is green.[(triple3)] @1: The cow likes the bald eagle.[(((triple3) -> rule4))] @2: The cow visits the bald eagle.[(((((triple3) -> rule4) triple3) -> rule6))] @3: The cow visits the bear.[(((((((triple3) -> rule4) triple3) -> rule6)) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((triple3) -> (rule4 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
((((triple3) -> (rule4 % int2)) triple3) -> (rule6 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow visits the bear.
("cow" "visits" "bear" "+")
((((((triple3) -> (rule4 % int3)) triple3) -> (rule6 % int2))) -> (rule2 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int3