The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle visits the tiger. The bear chases the bald eagle. The bear does not see the squirrel. The bear sees the tiger. The bear visits the bald eagle. The squirrel chases the bear. The squirrel is blue. The squirrel sees the tiger. The tiger chases the bear. The tiger sees the bald eagle. If someone chases the tiger and they do not see the squirrel then the tiger does not visit the squirrel. If someone sees the squirrel then the squirrel does not visit the bald eagle. If the tiger sees the bald eagle then the bald eagle visits the bear. If someone is blue and they visit the bear then they do not chase the bald eagle. If someone chases the bald eagle and the bald eagle does not chase the bear then the bald eagle sees the bear. If someone sees the squirrel and they do not chase the squirrel then the squirrel chases the bear. If someone sees the squirrel then the squirrel chases the tiger. If someone chases the bear and they do not chase the squirrel then the bear is kind.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear does not see the squirrel.
("bear" "sees" "squirrel" "-")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone chases the tiger and they do not see the squirrel then the tiger does not visit the squirrel.
((("someone" "chases" "tiger" "+") ("someone" "sees" "squirrel" "~")) -> ("tiger" "visits" "squirrel" "-"))
If someone sees the squirrel then the squirrel does not visit the bald eagle.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "-"))
If the tiger sees the bald eagle then the bald eagle visits the bear.
((("tiger" "sees" "bald eagle" "+")) -> ("bald eagle" "visits" "bear" "+"))
If someone is blue and they visit the bear then they do not chase the bald eagle.
((("someone" "is" "blue" "+") ("someone" "visits" "bear" "+")) -> ("someone" "chases" "bald eagle" "-"))
If someone chases the bald eagle and the bald eagle does not chase the bear then the bald eagle sees the bear.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "chases" "bear" "~")) -> ("bald eagle" "sees" "bear" "+"))
If someone sees the squirrel and they do not chase the squirrel then the squirrel chases the bear.
((("someone" "sees" "squirrel" "+") ("someone" "chases" "squirrel" "~")) -> ("squirrel" "chases" "bear" "+"))
If someone sees the squirrel then the squirrel chases the tiger.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "chases" "tiger" "+"))
If someone chases the bear and they do not chase the squirrel then the bear is kind.
((("someone" "chases" "bear" "+") ("someone" "chases" "squirrel" "~")) -> ("bear" "is" "kind" "+"))
The bald eagle visits the tiger.
True
1
proof
[(triple3)]
("bald eagle" "visits" "tiger" "+")
triple3
The squirrel does not chase the bear.
False
1
inv-proof
[(triple8)]
("squirrel" "chases" "bear" "-")
triple8
The bald eagle visits the bear.
True
2
proof
[(((triple12) -> rule3))]
("bald eagle" "visits" "bear" "+")
((triple12) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle does not visit the bear.
False
2
inv-proof
[(((triple12) -> rule3))]
("bald eagle" "visits" "bear" "-")
((triple12) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle does not chase the bald eagle.
True
4
proof
[(((triple2 ((triple12) -> rule3)) -> rule4))]
("bald eagle" "chases" "bald eagle" "-")
((triple2 ((triple12) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle chases the bald eagle.
False
4
inv-proof
[(((triple2 ((triple12) -> rule3)) -> rule4))]
("bald eagle" "chases" "bald eagle" "+")
((triple2 ((triple12) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bear is not kind.
Unknown
inv-rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "is" "kind" "-")
The squirrel chases the tiger.
Unknown
rconc
[@1: The squirrel chases the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "chases" "tiger" "+")
The bald eagle does not see the bear.
Unknown
inv-rconc
[@1: The bald eagle sees the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "bear" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger sees the squirrel.
Unknown
random
[@0: The tiger sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle visits the tiger.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear does not see the squirrel.[(triple5)] The bear sees the tiger.[(triple6)] The bear visits the bald eagle.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel is blue.[(triple9)] The squirrel sees the tiger.[(triple10)] The tiger chases the bear.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The bald eagle visits the bear.[(((triple12) -> rule3))] @2: The bald eagle does not chase the bald eagle.[(((triple2 ((triple12) -> rule3)) -> rule4))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear does not see the squirrel.
("bear" "sees" "squirrel" "-")
triple5
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple6
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple7
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple10
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple11
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((triple12) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
((triple2 ((triple12) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2