The bald eagle does not eat the rabbit. The bald eagle is green. The bald eagle is young. The bald eagle does not see the cow. The bald eagle sees the rabbit. The cow eats the bald eagle. The cow eats the rabbit. The cow is blue. The cow is young. The rabbit eats the bald eagle. The rabbit is cold. The rabbit is round. If something is cold and not round then it is not green. If something eats the bald eagle and it is blue then the bald eagle does not need the rabbit.
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is young.
("cow" "is" "young" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If something is cold and not round then it is not green.
((("something" "is" "cold" "+") ("something" "is" "round" "~")) -> ("something" "is" "green" "-"))
If something eats the bald eagle and it is blue then the bald eagle does not need the rabbit.
((("something" "eats" "bald eagle" "+") ("something" "is" "blue" "+")) -> ("bald eagle" "needs" "rabbit" "-"))
The bald eagle is green.
True
1
proof
[(triple2)]
("bald eagle" "is" "green" "+")
triple2
The bald eagle eats the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle does not need the rabbit.
True
3
proof
[(((triple6 triple8) -> rule2))]
("bald eagle" "needs" "rabbit" "-")
((triple6 triple8) -> (rule2 % int1))
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
int1
The bald eagle needs the rabbit.
False
3
inv-proof
[(((triple6 triple8) -> rule2))]
("bald eagle" "needs" "rabbit" "+")
((triple6 triple8) -> (rule2 % int1))
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
int1
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle does not eat the rabbit.[(triple1)] The bald eagle does not see the cow.[(triple4)] The bald eagle is green.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the rabbit.[(triple5)] The cow eats the bald eagle.[(triple6)] The cow eats the rabbit.[(triple7)] The cow is blue.[(triple8)] The cow is young.[(triple9)] The rabbit eats the bald eagle.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is round.[(triple12)] @1: The bald eagle does not need the rabbit.[(((triple6 triple8) -> rule2))]
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
triple1
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
triple4
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple5
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple6
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow is young.
("cow" "is" "young" "+")
triple9
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple11
The rabbit is round.
("rabbit" "is" "round" "+")
triple12
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
((triple6 triple8) -> (rule2 % int1))
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
int1