The bald eagle sees the bear. The bear eats the squirrel. The lion sees the squirrel. The squirrel visits the bear. If the bear is young and the bear is kind then the bear eats the squirrel. If someone sees the squirrel and they are blue then the squirrel eats the bald eagle. If someone is young then they see the bear. If someone is rough then they see the lion. If someone sees the bald eagle then they visit the bear. If someone sees the bear then the bear sees the squirrel. If the lion eats the bald eagle and the bald eagle is blue then the bald eagle is kind. If someone is rough then they see the bear.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If the bear is young and the bear is kind then the bear eats the squirrel.
((("bear" "is" "young" "+") ("bear" "is" "kind" "+")) -> ("bear" "eats" "squirrel" "+"))
If someone sees the squirrel and they are blue then the squirrel eats the bald eagle.
((("someone" "sees" "squirrel" "+") ("someone" "is" "blue" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone is young then they see the bear.
((("someone" "is" "young" "+")) -> ("someone" "sees" "bear" "+"))
If someone is rough then they see the lion.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "lion" "+"))
If someone sees the bald eagle then they visit the bear.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "visits" "bear" "+"))
If someone sees the bear then the bear sees the squirrel.
((("someone" "sees" "bear" "+")) -> ("bear" "sees" "squirrel" "+"))
If the lion eats the bald eagle and the bald eagle is blue then the bald eagle is kind.
((("lion" "eats" "bald eagle" "+") ("bald eagle" "is" "blue" "+")) -> ("bald eagle" "is" "kind" "+"))
If someone is rough then they see the bear.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "bear" "+"))
The squirrel visits the bear.
True
1
proof
[(triple4)]
("squirrel" "visits" "bear" "+")
triple4
The bear does not eat the squirrel.
False
1
inv-proof
[(triple2)]
("bear" "eats" "squirrel" "-")
triple2
The bear sees the squirrel.
True
2
proof
[(((triple1) -> rule6))]
("bear" "sees" "squirrel" "+")
((triple1) -> (rule6 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear does not see the squirrel.
False
2
inv-proof
[(((triple1) -> rule6))]
("bear" "sees" "squirrel" "-")
((triple1) -> (rule6 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle visits the bear.
Unknown
rconc
[@1: The bald eagle visits the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "visits" "bear" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The squirrel eats the bear.
Unknown
random
[@0: The squirrel eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bear" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear eats the squirrel.[(triple2)] The lion sees the squirrel.[(triple3)] The squirrel visits the bear.[(triple4)] @1: The bear sees the squirrel.[(((triple1) -> rule6))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple3
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
((triple1) -> (rule6 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1