The bald eagle chases the cow. The bald eagle chases the rabbit. The bald eagle is not kind. The bald eagle is young. The bald eagle does not like the cow. The bald eagle needs the cow. The cow does not chase the rabbit. The cow is young. The cow likes the bald eagle. The rabbit chases the bald eagle. The rabbit chases the cow. The rabbit is green. The rabbit is young. The rabbit likes the bald eagle. The rabbit needs the cow. If something likes the rabbit then the rabbit is round. If something chases the rabbit and it is blue then it chases the bald eagle. If something needs the rabbit and the rabbit chases the cow then the rabbit does not need the bald eagle.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If something likes the rabbit then the rabbit is round.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If something chases the rabbit and it is blue then it chases the bald eagle.
((("something" "chases" "rabbit" "+") ("something" "is" "blue" "+")) -> ("something" "chases" "bald eagle" "+"))
If something needs the rabbit and the rabbit chases the cow then the rabbit does not need the bald eagle.
((("something" "needs" "rabbit" "+") ("rabbit" "chases" "cow" "+")) -> ("rabbit" "needs" "bald eagle" "-"))
The bald eagle chases the cow.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle does not need the cow.
False
1
inv-proof
[(triple6)]
("bald eagle" "needs" "cow" "-")
triple6
The cow does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "bald eagle" "-")
The cow likes the rabbit.
Unknown
random
[@0: The cow likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "rabbit" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle does not like the cow.[(triple5)] The bald eagle is not kind.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the cow.[(triple6)] The cow does not chase the rabbit.[(triple7)] The cow is young.[(triple8)] The cow likes the bald eagle.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit chases the cow.[(triple11)] The rabbit is green.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit needs the cow.[(triple15)]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
triple5
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple6
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
triple7
The cow is young.
("cow" "is" "young" "+")
triple8
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple9
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple10
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
triple13
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple14
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple15