The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle is cold. The bald eagle sees the bear. The bald eagle visits the bear. The bear chases the squirrel. The bear is cold. The bear sees the bald eagle. The squirrel chases the bald eagle. The squirrel chases the bear. The squirrel is cold. The squirrel is green. The squirrel sees the bald eagle. The squirrel sees the bear. The squirrel visits the bald eagle. The squirrel visits the bear. If someone sees the bald eagle and they visit the squirrel then they chase the bald eagle. If someone is green and red then they chase the squirrel. If someone visits the bald eagle and the bald eagle is blue then the bald eagle sees the bear. If someone visits the bald eagle and they visit the squirrel then the squirrel sees the bear. If the bear is nice then the bear sees the squirrel. If someone chases the bear then the bear chases the bald eagle. If the bear is blue then the bear sees the bald eagle. If someone chases the squirrel then the squirrel chases the bear.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone sees the bald eagle and they visit the squirrel then they chase the bald eagle.
((("someone" "sees" "bald eagle" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is green and red then they chase the squirrel.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone visits the bald eagle and the bald eagle is blue then the bald eagle sees the bear.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "is" "blue" "+")) -> ("bald eagle" "sees" "bear" "+"))
If someone visits the bald eagle and they visit the squirrel then the squirrel sees the bear.
((("someone" "visits" "bald eagle" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "sees" "bear" "+"))
If the bear is nice then the bear sees the squirrel.
((("bear" "is" "nice" "+")) -> ("bear" "sees" "squirrel" "+"))
If someone chases the bear then the bear chases the bald eagle.
((("someone" "chases" "bear" "+")) -> ("bear" "chases" "bald eagle" "+"))
If the bear is blue then the bear sees the bald eagle.
((("bear" "is" "blue" "+")) -> ("bear" "sees" "bald eagle" "+"))
If someone chases the squirrel then the squirrel chases the bear.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "bear" "+"))
The squirrel chases the bald eagle.
True
1
proof
[(triple9)]
("squirrel" "chases" "bald eagle" "+")
triple9
The squirrel does not chase the bear.
False
1
inv-proof
[(triple10 OR ((triple1) -> rule8) OR ((triple6) -> rule8))]
("squirrel" "chases" "bear" "-")
triple10
((triple1) -> (rule8 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
((triple6) -> (rule8 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The bear chases the bald eagle.
True
2
proof
[(((triple10) -> rule6) OR ((((triple1) -> rule8)) -> rule6) OR ((((triple6) -> rule8)) -> rule6))]
("bear" "chases" "bald eagle" "+")
((triple10) -> (rule6 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
((((triple6) -> (rule8 % int2))) -> (rule6 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The bear does not chase the bald eagle.
False
2
inv-proof
[(((triple10) -> rule6) OR ((((triple1) -> rule8)) -> rule6) OR ((((triple6) -> rule8)) -> rule6))]
("bear" "chases" "bald eagle" "-")
((triple10) -> (rule6 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
((((triple6) -> (rule8 % int2))) -> (rule6 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The bear does not see the squirrel.
Unknown
inv-rconc
[@1: The bear sees the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "sees" "squirrel" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear visits the squirrel.
Unknown
random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle sees the bear.[(triple4 OR ((triple15 triple2) -> rule3))] The bald eagle visits the bear.[(triple5)] The bear chases the squirrel.[(triple6)] The bear is cold.[(triple7)] The bear sees the bald eagle.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel chases the bear.[(triple10 OR ((triple1) -> rule8) OR ((triple6) -> rule8))] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel sees the bald eagle.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel visits the bald eagle.[(triple15)] The squirrel visits the bear.[(triple16)] @1: The bear chases the bald eagle.[(((triple10) -> rule6) OR ((((triple1) -> rule8)) -> rule6) OR ((((triple6) -> rule8)) -> rule6))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
((triple15 triple2) -> (rule3 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple5
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple6
The bear is cold.
("bear" "is" "cold" "+")
triple7
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple8
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple9
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple10
((triple1) -> (rule8 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
((triple6) -> (rule8 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple13
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple14
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple15
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple16
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((triple10) -> (rule6 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
((((triple6) -> (rule8 % int2))) -> (rule6 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2