The bald eagle is rough. The bald eagle does not need the cow. The bald eagle does not see the cow. The cow is not nice. The cow likes the bald eagle. The cow needs the bald eagle. The cow sees the bald eagle. If someone needs the cow then they see the bald eagle. If the bald eagle is nice and the bald eagle sees the cow then the cow is rough. If someone likes the bald eagle and they are not big then the bald eagle likes the cow. If the bald eagle needs the cow and the cow sees the bald eagle then the bald eagle does not like the cow. If someone is rough and they like the bald eagle then they like the cow. If someone likes the cow then they do not like the bald eagle. If someone is rough and they do not see the cow then they are not green. If someone likes the cow and they do not see the bald eagle then the cow needs the bald eagle.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
The cow is not nice.
("cow" "is" "nice" "-")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
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 then they see the bald eagle.
((("someone" "needs" "cow" "+")) -> ("someone" "sees" "bald eagle" "+"))
If the bald eagle is nice and the bald eagle sees the cow then the cow is rough.
((("bald eagle" "is" "nice" "+") ("bald eagle" "sees" "cow" "+")) -> ("cow" "is" "rough" "+"))
If someone likes the bald eagle and they are not big then the bald eagle likes the cow.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "big" "~")) -> ("bald eagle" "likes" "cow" "+"))
If the bald eagle needs the cow and the cow sees the bald eagle then the bald eagle does not like the cow.
((("bald eagle" "needs" "cow" "+") ("cow" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "cow" "-"))
If someone is rough and they like the bald eagle then they like the cow.
((("someone" "is" "rough" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the cow then they do not like the bald eagle.
((("someone" "likes" "cow" "+")) -> ("someone" "likes" "bald eagle" "-"))
If someone is rough and they do not see the cow then they are not green.
((("someone" "is" "rough" "+") ("someone" "sees" "cow" "~")) -> ("someone" "is" "green" "-"))
If someone likes the cow and they do not see the bald eagle then the cow needs the bald eagle.
((("someone" "likes" "cow" "+") ("someone" "sees" "bald eagle" "~")) -> ("cow" "needs" "bald eagle" "+"))
The cow needs the bald eagle.
True
1
proof
[(triple6)]
("cow" "needs" "bald eagle" "+")
triple6
The cow is nice.
False
1
inv-proof
[(triple4)]
("cow" "is" "nice" "+")
triple4
The bald eagle is not green.
True
3
proof
[(((triple1 triple3) -> rule7))]
("bald eagle" "is" "green" "-")
((triple1 triple3) -> (rule7 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
The bald eagle is green.
False
3
inv-proof
[(((triple1 triple3) -> rule7))]
("bald eagle" "is" "green" "+")
((triple1 triple3) -> (rule7 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
The cow does not like the cow.
Unknown
inv-rconc
[@2: The cow likes the cow.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("cow" "likes" "cow" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle does not need the cow.[(triple2)] The bald eagle does not see the cow.[(triple3)] The bald eagle is rough.[(triple1)] The cow is not nice.[(triple4)] The cow likes the bald eagle.[(triple5)] The cow needs the bald eagle.[(triple6)] The cow sees the bald eagle.[(triple7)] @1: The bald eagle is not green.[(((triple1 triple3) -> rule7))]
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
triple2
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The cow is not nice.
("cow" "is" "nice" "-")
triple4
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple5
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The bald eagle is not green.
("bald eagle" "is" "green" "-")
((triple1 triple3) -> (rule7 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1