The bald eagle is not round. The bald eagle is young. The bald eagle visits the bear. The bear chases the lion. The bear is not nice. The bear visits the bald eagle. The bear visits the lion. The lion is nice. The lion is round. The lion visits the bald eagle. If someone chases the bear then they visit the lion. If someone visits the bear then the bear sees the bald eagle. If someone sees the bald eagle and they are round then the bald eagle is cold. If someone sees the bald eagle then they do not see the lion. If someone is cold and they do not see the lion then they are not young. If someone is round then they see the bear. If someone chases the bald eagle then they see the bear. If the lion is round and the bear does not see the lion then the bear chases the bald eagle.
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If someone chases the bear then they visit the lion.
((("someone" "chases" "bear" "+")) -> ("someone" "visits" "lion" "+"))
If someone visits the bear then the bear sees the bald eagle.
((("someone" "visits" "bear" "+")) -> ("bear" "sees" "bald eagle" "+"))
If someone sees the bald eagle and they are round then the bald eagle is cold.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "round" "+")) -> ("bald eagle" "is" "cold" "+"))
If someone sees the bald eagle then they do not see the lion.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "sees" "lion" "-"))
If someone is cold and they do not see the lion then they are not young.
((("someone" "is" "cold" "+") ("someone" "sees" "lion" "~")) -> ("someone" "is" "young" "-"))
If someone is round then they see the bear.
((("someone" "is" "round" "+")) -> ("someone" "sees" "bear" "+"))
If someone chases the bald eagle then they see the bear.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "sees" "bear" "+"))
If the lion is round and the bear does not see the lion then the bear chases the bald eagle.
((("lion" "is" "round" "+") ("bear" "sees" "lion" "~")) -> ("bear" "chases" "bald eagle" "+"))
The bear visits the bald eagle.
True
1
proof
[(triple6)]
("bear" "visits" "bald eagle" "+")
triple6
The bald eagle is round.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "round" "+")
triple1
The lion sees the bear.
True
2
proof
[(((triple9) -> rule6))]
("lion" "sees" "bear" "+")
((triple9) -> (rule6 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The lion does not see the bear.
False
2
inv-proof
[(((triple9) -> rule6))]
("lion" "sees" "bear" "-")
((triple9) -> (rule6 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The bear does not see the lion.
True
3
proof
[(((((triple3) -> rule2)) -> rule4))]
("bear" "sees" "lion" "-")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The bear does not see the lion.
("bear" "sees" "lion" "-")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear sees the lion.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule4))]
("bear" "sees" "lion" "+")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The bear does not see the lion.
("bear" "sees" "lion" "-")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear chases the bald eagle.
True
5
proof
[(((triple9 ((((triple3) -> rule2)) -> rule4)) -> rule8))]
("bear" "chases" "bald eagle" "+")
((triple9 ((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear does not see the lion.
("bear" "sees" "lion" "-")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bear does not chase the bald eagle.
False
5
inv-proof
[(((triple9 ((((triple3) -> rule2)) -> rule4)) -> rule8))]
("bear" "chases" "bald eagle" "-")
((triple9 ((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear does not see the lion.
("bear" "sees" "lion" "-")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The lion visits the lion.
Unknown
rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "lion" "+")
The bald eagle does not see the bear.
Unknown
inv-rconc
[@1: The bald eagle sees the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "sees" "bear" "-")
The bald eagle visits the lion.
Unknown
rconc
[@1: The bald eagle visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "lion" "+")
The bald eagle does not chase the bear.
Unknown
inv-random
[@0: The bald eagle chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bear" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bald eagle is not round.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear chases the lion.[(triple4)] The bear is not nice.[(triple5)] The bear visits the bald eagle.[(triple6)] The bear visits the lion.[(triple7)] The lion is nice.[(triple8)] The lion is round.[(triple9)] The lion visits the bald eagle.[(triple10)] @1: The bear sees the bald eagle.[(((triple3) -> rule2))] The lion sees the bear.[(((triple9) -> rule6))] @2: The bear does not see the lion.[(((((triple3) -> rule2)) -> rule4))] @3: The bear chases the bald eagle.[(((triple9 ((((triple3) -> rule2)) -> rule4)) -> rule8))] @4: The bear sees the bear.[(((((triple9 ((((triple3) -> rule2)) -> rule4)) -> rule8)) -> rule7))]
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear chases the lion.
("bear" "chases" "lion" "+")
triple4
The bear is not nice.
("bear" "is" "nice" "-")
triple5
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple6
The bear visits the lion.
("bear" "visits" "lion" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion is round.
("lion" "is" "round" "+")
triple9
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple10
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The lion sees the bear.
("lion" "sees" "bear" "+")
((triple9) -> (rule6 % int1))
The lion sees the bear.
("lion" "sees" "bear" "+")
int1
The bear does not see the lion.
("bear" "sees" "lion" "-")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The bear does not see the lion.
("bear" "sees" "lion" "-")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((triple9 ((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bear does not see the lion.
("bear" "sees" "lion" "-")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bear sees the bear.
("bear" "sees" "bear" "+")
((((triple9 ((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
The bear does not see the lion.
("bear" "sees" "lion" "-")
int3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int4