The bald eagle is cold. The bald eagle is nice. The bald eagle does not see the tiger. The bear is cold. The tiger is green. The tiger does not need the bear. The tiger does not see the bald eagle. If something needs the bear and it eats the bald eagle then the bear is red. If something eats the bald eagle and the bald eagle eats the tiger then the tiger does not need the bald eagle. If the tiger sees the bear then the tiger sees the bald eagle. If something needs the tiger and it sees the tiger then the tiger sees the bear. If the bear is cold then the bear needs the bald eagle. If something needs the tiger then it is green.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
The bear is cold.
("bear" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger does not need the bear.
("tiger" "needs" "bear" "-")
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
If something needs the bear and it eats the bald eagle then the bear is red.
((("something" "needs" "bear" "+") ("something" "eats" "bald eagle" "+")) -> ("bear" "is" "red" "+"))
If something eats the bald eagle and the bald eagle eats the tiger then the tiger does not need the bald eagle.
((("something" "eats" "bald eagle" "+") ("bald eagle" "eats" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "-"))
If the tiger sees the bear then the tiger sees the bald eagle.
((("tiger" "sees" "bear" "+")) -> ("tiger" "sees" "bald eagle" "+"))
If something needs the tiger and it sees the tiger then the tiger sees the bear.
((("something" "needs" "tiger" "+") ("something" "sees" "tiger" "+")) -> ("tiger" "sees" "bear" "+"))
If the bear is cold then the bear needs the bald eagle.
((("bear" "is" "cold" "+")) -> ("bear" "needs" "bald eagle" "+"))
If something needs the tiger then it is green.
((("something" "needs" "tiger" "+")) -> ("something" "is" "green" "+"))
The bald eagle is cold.
True
1
proof
[(triple1)]
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is not nice.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "nice" "-")
triple2
The bear needs the bald eagle.
True
2
proof
[(((triple4) -> rule5))]
("bear" "needs" "bald eagle" "+")
((triple4) -> (rule5 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear does not need the bald eagle.
False
2
inv-proof
[(((triple4) -> rule5))]
("bear" "needs" "bald eagle" "-")
((triple4) -> (rule5 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "green" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The bald eagle eats the bear.
Unknown
random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "+")
@0: The bald eagle does not see the tiger.[(triple3)] The bald eagle is cold.[(triple1)] The bald eagle is nice.[(triple2)] The bear is cold.[(triple4)] The tiger does not need the bear.[(triple6)] The tiger does not see the bald eagle.[(triple7)] The tiger is green.[(triple5)] @1: The bear needs the bald eagle.[(((triple4) -> rule5))]
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple4
The tiger does not need the bear.
("tiger" "needs" "bear" "-")
triple6
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
triple7
The tiger is green.
("tiger" "is" "green" "+")
triple5
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
((triple4) -> (rule5 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1