The bald eagle eats the cow. The bald eagle is big. The bald eagle is red. The bald eagle is young. The bald eagle needs the cow. The bald eagle does not see the cow. The cow eats the bald eagle. The cow is red. The cow needs the bald eagle. The cow sees the bald eagle. If someone needs the cow and they are green then the cow needs the bald eagle. All nice people are red. If someone needs the bald eagle then they eat the cow. If the cow needs the bald eagle then the cow sees the bald eagle. If someone eats the bald eagle then the bald eagle eats the cow. If someone is young and they do not see the bald eagle then the bald eagle eats the cow. If someone eats the cow and the cow does not see the bald eagle then the bald eagle is not young. If someone eats the cow and they are not red then they eat the bald eagle.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
If someone needs the cow and they are green then the cow needs the bald eagle.
((("someone" "needs" "cow" "+") ("someone" "is" "green" "+")) -> ("cow" "needs" "bald eagle" "+"))
All nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone needs the bald eagle then they eat the cow.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "eats" "cow" "+"))
If the cow needs the bald eagle then the cow sees the bald eagle.
((("cow" "needs" "bald eagle" "+")) -> ("cow" "sees" "bald eagle" "+"))
If someone eats the bald eagle then the bald eagle eats the cow.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "cow" "+"))
If someone is young and they do not see the bald eagle then the bald eagle eats the cow.
((("someone" "is" "young" "+") ("someone" "sees" "bald eagle" "~")) -> ("bald eagle" "eats" "cow" "+"))
If someone eats the cow and the cow does not see the bald eagle then the bald eagle is not young.
((("someone" "eats" "cow" "+") ("cow" "sees" "bald eagle" "~")) -> ("bald eagle" "is" "young" "-"))
If someone eats the cow and they are not red then they eat the bald eagle.
((("someone" "eats" "cow" "+") ("someone" "is" "red" "~")) -> ("someone" "eats" "bald eagle" "+"))
The cow needs the bald eagle.
True
1
proof
[(triple9)]
("cow" "needs" "bald eagle" "+")
triple9
The cow does not see the bald eagle.
False
1
inv-proof
[(triple10 OR ((triple9) -> rule4))]
("cow" "sees" "bald eagle" "-")
triple10
((triple9) -> (rule4 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow eats the cow.
True
2
proof
[(((triple9) -> rule3))]
("cow" "eats" "cow" "+")
((triple9) -> (rule3 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow does not eat the cow.
False
2
inv-proof
[(((triple9) -> rule3))]
("cow" "eats" "cow" "-")
((triple9) -> (rule3 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
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 = (rule8 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle does not see the cow.[(triple6)] The bald eagle eats the cow.[(triple1 OR ((triple7) -> rule5))] The bald eagle is big.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the cow.[(triple5)] The cow eats the bald eagle.[(triple7)] The cow is red.[(triple8)] The cow needs the bald eagle.[(triple9)] The cow sees the bald eagle.[(triple10 OR ((triple9) -> rule4))] @1: The cow eats the cow.[(((triple9) -> rule3))]
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
triple6
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
((triple7) -> (rule5 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple5
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple7
The cow is red.
("cow" "is" "red" "+")
triple8
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple9
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple10
((triple9) -> (rule4 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple9) -> (rule3 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1