The bald eagle needs the cow. The cow chases the rabbit. The rabbit visits the cow. If someone visits the rabbit and they chase the bald eagle then the bald eagle visits the rabbit. If the rabbit chases the bald eagle and the rabbit needs the cow then the rabbit visits the bald eagle. If someone needs the rabbit then the rabbit is kind. If someone needs the bald eagle then they are cold. If someone visits the cow and the cow chases the bald eagle then the bald eagle is blue. If someone needs the rabbit and they visit the rabbit then the rabbit chases the cow. If the bald eagle visits the cow then the bald eagle chases the rabbit. If someone chases the rabbit then the rabbit needs the cow.
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If someone visits the rabbit and they chase the bald eagle then the bald eagle visits the rabbit.
((("someone" "visits" "rabbit" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
If the rabbit chases the bald eagle and the rabbit needs the cow then the rabbit visits the bald eagle.
((("rabbit" "chases" "bald eagle" "+") ("rabbit" "needs" "cow" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
If someone needs the rabbit then the rabbit is kind.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If someone needs the bald eagle then they are cold.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "cold" "+"))
If someone visits the cow and the cow chases the bald eagle then the bald eagle is blue.
((("someone" "visits" "cow" "+") ("cow" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone needs the rabbit and they visit the rabbit then the rabbit chases the cow.
((("someone" "needs" "rabbit" "+") ("someone" "visits" "rabbit" "+")) -> ("rabbit" "chases" "cow" "+"))
If the bald eagle visits the cow then the bald eagle chases the rabbit.
((("bald eagle" "visits" "cow" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If someone chases the rabbit then the rabbit needs the cow.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "needs" "cow" "+"))
The cow chases the rabbit.
True
1
proof
[(triple2)]
("cow" "chases" "rabbit" "+")
triple2
The cow does not chase the rabbit.
False
1
inv-proof
[(triple2)]
("cow" "chases" "rabbit" "-")
triple2
The rabbit needs the cow.
True
2
proof
[(((triple2) -> rule8))]
("rabbit" "needs" "cow" "+")
((triple2) -> (rule8 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
The rabbit does not need the cow.
False
2
inv-proof
[(((triple2) -> rule8))]
("rabbit" "needs" "cow" "-")
((triple2) -> (rule8 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
The bald eagle does not chase the rabbit.
Unknown
inv-rconc
[@1: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "chases" "rabbit" "-")
The cow is cold.
Unknown
rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "cold" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle needs the cow.[(triple1)] The cow chases the rabbit.[(triple2)] The rabbit visits the cow.[(triple3)] @1: The rabbit needs the cow.[(((triple2) -> rule8))]
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple2
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
((triple2) -> (rule8 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1