The bald eagle chases the bear. The bald eagle sees the bear. The bald eagle visits the bear. The bear is blue. The bear is young. The bear sees the bald eagle. The bear visits the bald eagle. If someone sees the bear then the bear is green. If the bald eagle visits the bear and the bear chases the bald eagle then the bald eagle is round. If someone chases the bear and they are big then they visit the bald eagle. If someone sees the bald eagle then they are big. If someone chases the bear and the bear sees the bald eagle then they are round. If the bald eagle is young then the bald eagle sees the bear. If someone is green and they chase the bear then the bear visits the bald eagle. If someone sees the bald eagle then they chase the bear.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
If someone sees the bear then the bear is green.
((("someone" "sees" "bear" "+")) -> ("bear" "is" "green" "+"))
If the bald eagle visits the bear and the bear chases the bald eagle then the bald eagle is round.
((("bald eagle" "visits" "bear" "+") ("bear" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If someone chases the bear and they are big then they visit the bald eagle.
((("someone" "chases" "bear" "+") ("someone" "is" "big" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone sees the bald eagle then they are big.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "big" "+"))
If someone chases the bear and the bear sees the bald eagle then they are round.
((("someone" "chases" "bear" "+") ("bear" "sees" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
If the bald eagle is young then the bald eagle sees the bear.
((("bald eagle" "is" "young" "+")) -> ("bald eagle" "sees" "bear" "+"))
If someone is green and they chase the bear then the bear visits the bald eagle.
((("someone" "is" "green" "+") ("someone" "chases" "bear" "+")) -> ("bear" "visits" "bald eagle" "+"))
If someone sees the bald eagle then they chase the bear.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "chases" "bear" "+"))
The bear visits the bald eagle.
True
1
proof
[(triple7 OR ((((triple2) -> rule1) ((triple6) -> rule8)) -> rule7) OR ((((triple6) -> rule8) ((triple6) -> rule4)) -> rule3))]
("bear" "visits" "bald eagle" "+")
triple7
((((triple2) -> (rule1 % int3)) ((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
((((triple6) -> (rule8 % int3)) ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bear is not young.
False
1
inv-proof
[(triple5)]
("bear" "is" "young" "-")
triple5
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "big" "-")
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 chases the bear.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear is blue.[(triple4)] The bear is young.[(triple5)] The bear sees the bald eagle.[(triple6)] The bear visits the bald eagle.[(triple7 OR ((((triple2) -> rule1) ((triple6) -> rule8)) -> rule7) OR ((((triple6) -> rule8) ((triple6) -> rule4)) -> rule3))] @1: The bald eagle is round.[(((triple1 triple6) -> rule5))] The bear chases the bear.[(((triple6) -> rule8))] The bear is big.[(((triple6) -> rule4))] The bear is green.[(((triple2) -> rule1))] @2: The bear is round.[(((((triple6) -> rule8) triple6) -> rule5))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple6
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple7
((((triple2) -> (rule1 % int3)) ((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
((((triple6) -> (rule8 % int3)) ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear chases the bear.
("bear" "chases" "bear" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1 triple6) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple6) -> (rule8 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is big.
("bear" "is" "big" "+")
((triple6) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((triple2) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((((triple6) -> (rule8 % int2)) triple6) -> (rule5 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2