The bald eagle chases the rabbit. The bald eagle is green. The bald eagle needs the squirrel. The cow is nice. The cow does not need the rabbit. The cow visits the bald eagle. The rabbit is nice. The rabbit does not need the cow. The squirrel does not need the rabbit. The squirrel visits the bald eagle. The squirrel visits the cow. The squirrel does not visit the rabbit. Round, big people are green. Big people are not green. If someone is big then they chase the cow. If someone needs the cow and they are round then the cow chases the squirrel. If someone is green and they do not chase the rabbit then they need the squirrel. If the bald eagle needs the rabbit then the rabbit is big.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
The squirrel does not need the rabbit.
("squirrel" "needs" "rabbit" "-")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel does not visit the rabbit.
("squirrel" "visits" "rabbit" "-")
Round, big people are green.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Big people are not green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "-"))
If someone is big then they chase the cow.
((("someone" "is" "big" "+")) -> ("someone" "chases" "cow" "+"))
If someone needs the cow and they are round then the cow chases the squirrel.
((("someone" "needs" "cow" "+") ("someone" "is" "round" "+")) -> ("cow" "chases" "squirrel" "+"))
If someone is green and they do not chase the rabbit then they need the squirrel.
((("someone" "is" "green" "+") ("someone" "chases" "rabbit" "~")) -> ("someone" "needs" "squirrel" "+"))
If the bald eagle needs the rabbit then the rabbit is big.
((("bald eagle" "needs" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
The bald eagle chases the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "chases" "rabbit" "+")
triple1
The squirrel visits the rabbit.
False
1
inv-proof
[(triple12)]
("squirrel" "visits" "rabbit" "+")
triple12
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "big" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The cow does not need the rabbit.[(triple5)] The cow is nice.[(triple4)] The cow visits the bald eagle.[(triple6)] The rabbit does not need the cow.[(triple8)] The rabbit is nice.[(triple7)] The squirrel does not need the rabbit.[(triple9)] The squirrel does not visit the rabbit.[(triple12)] The squirrel visits the bald eagle.[(triple10)] The squirrel visits the cow.[(triple11)]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple6
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple7
The squirrel does not need the rabbit.
("squirrel" "needs" "rabbit" "-")
triple9
The squirrel does not visit the rabbit.
("squirrel" "visits" "rabbit" "-")
triple12
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple10
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple11