The bald eagle eats the bear. The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle is rough. The bald eagle sees the squirrel. The bear is rough. The bear needs the squirrel. The bear sees the bald eagle. The squirrel needs the bear. The squirrel sees the bald eagle. If something is big and young then it sees the bald eagle. If the bear needs the bald eagle then the bear eats the squirrel. If something needs the squirrel then the squirrel sees the bald eagle. If something is rough then it sees the squirrel. If something is kind and it eats the bald eagle then it eats the squirrel. If something is rough then it sees the bald eagle. If the bear needs the squirrel and the bear sees the squirrel then the bear eats the squirrel. If something sees the bear then it sees the bald eagle.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If something is big and young then it sees the bald eagle.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "sees" "bald eagle" "+"))
If the bear needs the bald eagle then the bear eats the squirrel.
((("bear" "needs" "bald eagle" "+")) -> ("bear" "eats" "squirrel" "+"))
If something needs the squirrel then the squirrel sees the bald eagle.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If something is rough then it sees the squirrel.
((("something" "is" "rough" "+")) -> ("something" "sees" "squirrel" "+"))
If something is kind and it eats the bald eagle then it eats the squirrel.
((("something" "is" "kind" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "eats" "squirrel" "+"))
If something is rough then it sees the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "sees" "bald eagle" "+"))
If the bear needs the squirrel and the bear sees the squirrel then the bear eats the squirrel.
((("bear" "needs" "squirrel" "+") ("bear" "sees" "squirrel" "+")) -> ("bear" "eats" "squirrel" "+"))
If something sees the bear then it sees the bald eagle.
((("something" "sees" "bear" "+")) -> ("something" "sees" "bald eagle" "+"))
The bald eagle sees the squirrel.
True
1
proof
[(triple5 OR ((triple4) -> rule4))]
("bald eagle" "sees" "squirrel" "+")
triple5
((triple4) -> (rule4 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The squirrel does not need the bear.
False
1
inv-proof
[(triple9)]
("squirrel" "needs" "bear" "-")
triple9
The bear sees the squirrel.
True
2
proof
[(((triple6) -> rule4))]
("bear" "sees" "squirrel" "+")
((triple6) -> (rule4 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear does not see the squirrel.
False
2
inv-proof
[(((triple6) -> rule4))]
("bear" "sees" "squirrel" "-")
((triple6) -> (rule4 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel sees the squirrel.
Unknown
rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "sees" "squirrel" "+")
The bear does not eat the bald eagle.
Unknown
inv-random
[@0: The bear eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bald eagle" "-")
The squirrel needs the bald eagle.
Unknown
random
[@0: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bald eagle" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle sees the squirrel.[(triple5 OR ((triple4) -> rule4))] The bear is rough.[(triple6)] The bear needs the squirrel.[(triple7)] The bear sees the bald eagle.[(triple8 OR ((triple6) -> rule6))] The squirrel needs the bear.[(triple9)] The squirrel sees the bald eagle.[(triple10 OR ((triple7) -> rule3))] @1: The bald eagle sees the bald eagle.[(((triple4) -> rule6))] The bear sees the squirrel.[(((triple6) -> rule4))] @2: The bear eats the squirrel.[(((triple7 ((triple6) -> rule4)) -> rule7))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple5
((triple4) -> (rule4 % int1))
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple8
((triple6) -> (rule6 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple9
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple10
((triple7) -> (rule3 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
((triple6) -> (rule4 % int1))
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
((triple7 ((triple6) -> (rule4 % int2))) -> (rule7 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
int2