The bald eagle is not cold. The bald eagle is red. The bald eagle likes the rabbit. The bald eagle likes the tiger. The bald eagle visits the tiger. The rabbit is cold. The rabbit likes the bald eagle. The rabbit does not like the tiger. The rabbit visits the bald eagle. The tiger is blue. The tiger is cold. The tiger is green. The tiger likes the bald eagle. The tiger likes the rabbit. The tiger needs the bald eagle. The tiger visits the bald eagle. If the bald eagle needs the rabbit then the bald eagle likes the tiger. If something likes the bald eagle and the bald eagle likes the rabbit then the rabbit does not need the bald eagle. If the tiger needs the rabbit then the tiger is not big. If something needs the tiger then the tiger is cold. If something visits the tiger and it is cold then the tiger visits the bald eagle. If the bald eagle is big and the bald eagle is green then the bald eagle is not red. If something is blue and it likes the rabbit then it needs the rabbit. If the bald eagle needs the rabbit and the rabbit visits the tiger then the bald eagle visits the rabbit.
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If the bald eagle needs the rabbit then the bald eagle likes the tiger.
((("bald eagle" "needs" "rabbit" "+")) -> ("bald eagle" "likes" "tiger" "+"))
If something likes the bald eagle and the bald eagle likes the rabbit then the rabbit does not need the bald eagle.
((("something" "likes" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "+")) -> ("rabbit" "needs" "bald eagle" "-"))
If the tiger needs the rabbit then the tiger is not big.
((("tiger" "needs" "rabbit" "+")) -> ("tiger" "is" "big" "-"))
If something needs the tiger then the tiger is cold.
((("something" "needs" "tiger" "+")) -> ("tiger" "is" "cold" "+"))
If something visits the tiger and it is cold then the tiger visits the bald eagle.
((("something" "visits" "tiger" "+") ("something" "is" "cold" "+")) -> ("tiger" "visits" "bald eagle" "+"))
If the bald eagle is big and the bald eagle is green then the bald eagle is not red.
((("bald eagle" "is" "big" "+") ("bald eagle" "is" "green" "+")) -> ("bald eagle" "is" "red" "-"))
If something is blue and it likes the rabbit then it needs the rabbit.
((("something" "is" "blue" "+") ("something" "likes" "rabbit" "+")) -> ("something" "needs" "rabbit" "+"))
If the bald eagle needs the rabbit and the rabbit visits the tiger then the bald eagle visits the rabbit.
((("bald eagle" "needs" "rabbit" "+") ("rabbit" "visits" "tiger" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
The bald eagle is not cold.
True
1
proof
[(triple1)]
("bald eagle" "is" "cold" "-")
triple1
The bald eagle does not like the rabbit.
False
1
inv-proof
[(triple3)]
("bald eagle" "likes" "rabbit" "-")
triple3
The rabbit does not need the bald eagle.
True
3
proof
[(((triple13 triple3) -> rule2) OR ((triple7 triple3) -> rule2))]
("rabbit" "needs" "bald eagle" "-")
((triple13 triple3) -> (rule2 % int1))
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
int1
((triple7 triple3) -> (rule2 % int1))
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
int1
The rabbit needs the bald eagle.
False
3
inv-proof
[(((triple13 triple3) -> rule2) OR ((triple7 triple3) -> rule2))]
("rabbit" "needs" "bald eagle" "+")
((triple13 triple3) -> (rule2 % int1))
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
int1
((triple7 triple3) -> (rule2 % int1))
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
int1
The tiger is not big.
True
4
proof
[(((((triple10 triple14) -> rule7)) -> rule3))]
("tiger" "is" "big" "-")
((((triple10 triple14) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is not big.
("tiger" "is" "big" "-")
int1
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int2
The tiger is big.
False
4
inv-proof
[(((((triple10 triple14) -> rule7)) -> rule3))]
("tiger" "is" "big" "+")
((((triple10 triple14) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is not big.
("tiger" "is" "big" "-")
int1
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int2
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The bald eagle visits the rabbit.
Unknown
rconc
[@1: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "visits" "rabbit" "+")
The bald eagle does not need the rabbit.
Unknown
inv-rconc
[@1: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "needs" "rabbit" "-")
The tiger visits the rabbit.
Unknown
random
[@0: The tiger visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "rabbit" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
@0: The bald eagle is not cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle visits the tiger.[(triple5)] The rabbit does not like the tiger.[(triple8)] The rabbit is cold.[(triple6)] The rabbit likes the bald eagle.[(triple7)] The rabbit visits the bald eagle.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger likes the bald eagle.[(triple13)] The tiger likes the rabbit.[(triple14)] The tiger needs the bald eagle.[(triple15)] The tiger visits the bald eagle.[(triple16)] @1: The rabbit does not need the bald eagle.[(((triple13 triple3) -> rule2) OR ((triple7 triple3) -> rule2))] The tiger needs the rabbit.[(((triple10 triple14) -> rule7))] @2: The tiger is not big.[(((((triple10 triple14) -> rule7)) -> rule3))]
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
triple8
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple7
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple12
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple13
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple14
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple15
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple16
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
((triple13 triple3) -> (rule2 % int1))
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
int1
((triple7 triple3) -> (rule2 % int1))
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
int1
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
((triple10 triple14) -> (rule7 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger is not big.
("tiger" "is" "big" "-")
((((triple10 triple14) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is not big.
("tiger" "is" "big" "-")
int1
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int2