The bald eagle does not chase the tiger. The bald eagle is cold. The bald eagle needs the tiger. The bald eagle visits the rabbit. The rabbit is cold. The rabbit is red. The rabbit needs the tiger. The tiger chases the bald eagle. The tiger is blue. The tiger visits the bald eagle. If someone needs the rabbit and the rabbit does not chase the bald eagle then the rabbit visits the tiger. If the tiger needs the rabbit and the tiger does not visit the rabbit then the tiger is cold. If someone chases the bald eagle and they chase the tiger then the tiger chases the bald eagle. If the bald eagle chases the rabbit then the rabbit is not green. If someone chases the bald eagle and the bald eagle visits the rabbit then the rabbit is not green. If someone chases the tiger and the tiger chases the rabbit then the rabbit chases the tiger. If the rabbit is young and the rabbit does not chase the tiger then the rabbit does not visit the bald eagle. If the rabbit is blue then the rabbit does not visit the bald eagle.
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone needs the rabbit and the rabbit does not chase the bald eagle then the rabbit visits the tiger.
((("someone" "needs" "rabbit" "+") ("rabbit" "chases" "bald eagle" "~")) -> ("rabbit" "visits" "tiger" "+"))
If the tiger needs the rabbit and the tiger does not visit the rabbit then the tiger is cold.
((("tiger" "needs" "rabbit" "+") ("tiger" "visits" "rabbit" "~")) -> ("tiger" "is" "cold" "+"))
If someone chases the bald eagle and they chase the tiger then the tiger chases the bald eagle.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "chases" "bald eagle" "+"))
If the bald eagle chases the rabbit then the rabbit is not green.
((("bald eagle" "chases" "rabbit" "+")) -> ("rabbit" "is" "green" "-"))
If someone chases the bald eagle and the bald eagle visits the rabbit then the rabbit is not green.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "visits" "rabbit" "+")) -> ("rabbit" "is" "green" "-"))
If someone chases the tiger and the tiger chases the rabbit then the rabbit chases the tiger.
((("someone" "chases" "tiger" "+") ("tiger" "chases" "rabbit" "+")) -> ("rabbit" "chases" "tiger" "+"))
If the rabbit is young and the rabbit does not chase the tiger then the rabbit does not visit the bald eagle.
((("rabbit" "is" "young" "+") ("rabbit" "chases" "tiger" "~")) -> ("rabbit" "visits" "bald eagle" "-"))
If the rabbit is blue then the rabbit does not visit the bald eagle.
((("rabbit" "is" "blue" "+")) -> ("rabbit" "visits" "bald eagle" "-"))
The bald eagle needs the tiger.
True
1
proof
[(triple3)]
("bald eagle" "needs" "tiger" "+")
triple3
The bald eagle does not visit the rabbit.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "rabbit" "-")
triple4
The rabbit does not chase the tiger.
Unknown
inv-rconc
[@1: The rabbit chases the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "chases" "tiger" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle does not chase the tiger.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The rabbit is cold.[(triple5)] The rabbit is red.[(triple6)] The rabbit needs the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger is blue.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The rabbit is not green.[(((triple8 triple4) -> rule5))]
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple4
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple5
The rabbit is red.
("rabbit" "is" "red" "+")
triple6
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple7
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple10
The rabbit is not green.
("rabbit" "is" "green" "-")
((triple8 triple4) -> (rule5 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1