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