The bald eagle needs the bear. The bear is not kind. The bear does not visit the bald eagle. If the bald eagle chases the bear then the bear chases the bald eagle. If someone needs the bear then the bear chases the bald eagle. If the bald eagle chases the bear and the bald eagle needs the bear then the bald eagle is not blue. If someone visits the bear and they do not need the bald eagle then the bald eagle visits the bear. If someone visits the bear then they are big. If someone chases the bald eagle then the bald eagle is big. If the bald eagle needs the bear and the bear chases the bald eagle then the bald eagle is red. Red people are rough.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
If the bald eagle chases the bear then the bear chases the bald eagle.
((("bald eagle" "chases" "bear" "+")) -> ("bear" "chases" "bald eagle" "+"))
If someone needs the bear then the bear chases the bald eagle.
((("someone" "needs" "bear" "+")) -> ("bear" "chases" "bald eagle" "+"))
If the bald eagle chases the bear and the bald eagle needs the bear then the bald eagle is not blue.
((("bald eagle" "chases" "bear" "+") ("bald eagle" "needs" "bear" "+")) -> ("bald eagle" "is" "blue" "-"))
If someone visits the bear and they do not need the bald eagle then the bald eagle visits the bear.
((("someone" "visits" "bear" "+") ("someone" "needs" "bald eagle" "~")) -> ("bald eagle" "visits" "bear" "+"))
If someone visits the bear then they are big.
((("someone" "visits" "bear" "+")) -> ("someone" "is" "big" "+"))
If someone chases the bald eagle then the bald eagle is big.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If the bald eagle needs the bear and the bear chases the bald eagle then the bald eagle is red.
((("bald eagle" "needs" "bear" "+") ("bear" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
The bear does not visit the bald eagle.
True
1
proof
[(triple3)]
("bear" "visits" "bald eagle" "-")
triple3
The bald eagle does not need the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "bear" "-")
triple1
The bear chases the bald eagle.
True
2
proof
[(((triple1) -> rule2))]
("bear" "chases" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear does not chase the bald eagle.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "chases" "bald eagle" "-")
((triple1) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bald eagle is big.
True
3
proof
[(((((triple1) -> rule2)) -> rule6))]
("bald eagle" "is" "big" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
The bald eagle is not big.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule6))]
("bald eagle" "is" "big" "-")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
The bald eagle is rough.
True
5
proof
[(((((triple1 ((triple1) -> rule2)) -> rule7)) -> rule8))]
("bald eagle" "is" "rough" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int3
The bald eagle is not rough.
False
5
inv-proof
[(((((triple1 ((triple1) -> rule2)) -> rule7)) -> rule8))]
("bald eagle" "is" "rough" "-")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int3
The bald eagle does not visit the bear.
Unknown
inv-rconc
[@1: The bald eagle visits the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "visits" "bear" "-")
The bear is big.
Unknown
rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "big" "+")
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "is" "rough" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle needs the bear.[(triple1)] The bear does not visit the bald eagle.[(triple3)] The bear is not kind.[(triple2)] @1: The bear chases the bald eagle.[(((triple1) -> rule2))] @2: The bald eagle is big.[(((((triple1) -> rule2)) -> rule6))] The bald eagle is red.[(((triple1 ((triple1) -> rule2)) -> rule7))] @3: The bald eagle is rough.[(((((triple1 ((triple1) -> rule2)) -> rule7)) -> rule8))]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bear does not visit the bald eagle.
("bear" "visits" "bald eagle" "-")
triple3
The bear is not kind.
("bear" "is" "kind" "-")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int3