The bald eagle eats the bear. The bear is young. If someone sees the bald eagle then they need the bear. If the bald eagle needs the bear and the bear does not see the bald eagle then the bear is not red. If the bald eagle eats the bear then the bear is red. If the bald eagle eats the bear then the bear is green. All red, young people are green. If the bald eagle does not see the bear and the bear does not see the bald eagle then the bear eats the bald eagle. If someone is green then they eat the bear. If someone sees the bear and they eat the bald eagle then the bald eagle is not cold.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bear is young.
("bear" "is" "young" "+")
If someone sees the bald eagle then they need the bear.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "needs" "bear" "+"))
If the bald eagle needs the bear and the bear does not see the bald eagle then the bear is not red.
((("bald eagle" "needs" "bear" "+") ("bear" "sees" "bald eagle" "~")) -> ("bear" "is" "red" "-"))
If the bald eagle eats the bear then the bear is red.
((("bald eagle" "eats" "bear" "+")) -> ("bear" "is" "red" "+"))
If the bald eagle eats the bear then the bear is green.
((("bald eagle" "eats" "bear" "+")) -> ("bear" "is" "green" "+"))
All red, young people are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If the bald eagle does not see the bear and the bear does not see the bald eagle then the bear eats the bald eagle.
((("bald eagle" "sees" "bear" "~") ("bear" "sees" "bald eagle" "~")) -> ("bear" "eats" "bald eagle" "+"))
If someone is green then they eat the bear.
((("someone" "is" "green" "+")) -> ("someone" "eats" "bear" "+"))
If someone sees the bear and they eat the bald eagle then the bald eagle is not cold.
((("someone" "sees" "bear" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "-"))
The bald eagle eats the bear.
True
1
proof
[(triple1)]
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle does not eat the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "bear" "-")
triple1
The bear is green.
True
2
proof
[(((triple1) -> rule4) OR ((((triple1) -> rule3) triple2) -> rule5))]
("bear" "is" "green" "+")
((triple1) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((((triple1) -> (rule3 % int2)) triple2) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is not red.
False
2
inv-proof
[(((triple1) -> rule3))]
("bear" "is" "red" "-")
((triple1) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bear.
True
3
proof
[(((((triple1) -> rule4)) -> rule7) OR ((((((triple1) -> rule3) triple2) -> rule5)) -> rule7))]
("bear" "eats" "bear" "+")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((((triple1) -> (rule3 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear does not eat the bear.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule7) OR ((((((triple1) -> rule3) triple2) -> rule5)) -> rule7))]
("bear" "eats" "bear" "-")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((((triple1) -> (rule3 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bear eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "eats" "bald eagle" "-")
The bald eagle is green.
Unknown
rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "green" "+")
The bald eagle does not need the bear.
Unknown
inv-rconc
[@1: The bald eagle needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "bear" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
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 eats the bear.[(triple1)] The bear is young.[(triple2)] @1: The bear is green.[(((triple1) -> rule4) OR ((((triple1) -> rule3) triple2) -> rule5))] The bear is red.[(((triple1) -> rule3))] @2: The bear eats the bear.[(((((triple1) -> rule4)) -> rule7) OR ((((((triple1) -> rule3) triple2) -> rule5)) -> rule7))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
((triple1) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((((triple1) -> (rule3 % int2)) triple2) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is red.
("bear" "is" "red" "+")
((triple1) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((((triple1) -> (rule3 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3