The bald eagle sees the mouse. The bear is nice. The bear is round. The bear likes the bald eagle. The bear likes the mouse. The mouse visits the bald eagle. The squirrel is green. The squirrel is red. The squirrel sees the mouse. The squirrel visits the mouse. If someone visits the squirrel and the squirrel likes the bald eagle then the bald eagle likes the mouse. If someone likes the squirrel and they are kind then they are round. If someone sees the bear then they visit the mouse. If the squirrel is round and the squirrel visits the mouse then the mouse sees the squirrel. If someone is red then they like the squirrel. Green people are kind. If someone sees the bear and the bear sees the bald eagle then the bald eagle sees the squirrel. If someone likes the squirrel then the squirrel visits the bear.
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone visits the squirrel and the squirrel likes the bald eagle then the bald eagle likes the mouse.
((("someone" "visits" "squirrel" "+") ("squirrel" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "mouse" "+"))
If someone likes the squirrel and they are kind then they are round.
((("someone" "likes" "squirrel" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone sees the bear then they visit the mouse.
((("someone" "sees" "bear" "+")) -> ("someone" "visits" "mouse" "+"))
If the squirrel is round and the squirrel visits the mouse then the mouse sees the squirrel.
((("squirrel" "is" "round" "+") ("squirrel" "visits" "mouse" "+")) -> ("mouse" "sees" "squirrel" "+"))
If someone is red then they like the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "likes" "squirrel" "+"))
Green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone sees the bear and the bear sees the bald eagle then the bald eagle sees the squirrel.
((("someone" "sees" "bear" "+") ("bear" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "squirrel" "+"))
If someone likes the squirrel then the squirrel visits the bear.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
The bald eagle sees the mouse.
True
1
proof
[(triple1)]
("bald eagle" "sees" "mouse" "+")
triple1
The squirrel is not green.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "green" "-")
triple7
The squirrel likes the squirrel.
True
2
proof
[(((triple8) -> rule5))]
("squirrel" "likes" "squirrel" "+")
((triple8) -> (rule5 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
False
2
inv-proof
[(((triple8) -> rule5))]
("squirrel" "likes" "squirrel" "-")
((triple8) -> (rule5 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is round.
True
5
proof
[(((((triple8) -> rule5) ((triple7) -> rule6)) -> rule2))]
("squirrel" "is" "round" "+")
((((triple8) -> (rule5 % int3)) ((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel does not visit the bear.
False
3
inv-proof
[(((((triple8) -> rule5)) -> rule8))]
("squirrel" "visits" "bear" "-")
((((triple8) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The mouse sees the squirrel.
True
7
proof
[(((((((triple8) -> rule5) ((triple7) -> rule6)) -> rule2) triple10) -> rule4))]
("mouse" "sees" "squirrel" "+")
((((((triple8) -> (rule5 % int4)) ((triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule4 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The mouse does not see the squirrel.
False
7
inv-proof
[(((((((triple8) -> rule5) ((triple7) -> rule6)) -> rule2) triple10) -> rule4))]
("mouse" "sees" "squirrel" "-")
((((((triple8) -> (rule5 % int4)) ((triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule4 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The mouse is not round.
Unknown
inv-rconc
[@2: The mouse is round.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("mouse" "is" "round" "-")
The mouse visits the mouse.
Unknown
rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "mouse" "+")
The bald eagle is not round.
Unknown
inv-rconc
[@2: The bald eagle is round.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("bald eagle" "is" "round" "-")
The mouse likes the squirrel.
Unknown
rconc
[@1: The mouse likes the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "likes" "squirrel" "+")
The bear does not visit the squirrel.
Unknown
inv-random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "-")
The bear visits the bald eagle.
Unknown
random
[@0: The bear visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bald eagle" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel likes the mouse.
Unknown
random
[@0: The squirrel likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "mouse" "+")
@0: The bald eagle sees the mouse.[(triple1)] The bear is nice.[(triple2)] The bear is round.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear likes the mouse.[(triple5)] The mouse visits the bald eagle.[(triple6)] The squirrel is green.[(triple7)] The squirrel is red.[(triple8)] The squirrel sees the mouse.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The squirrel is kind.[(((triple7) -> rule6))] The squirrel likes the squirrel.[(((triple8) -> rule5))] @2: The squirrel is round.[(((((triple8) -> rule5) ((triple7) -> rule6)) -> rule2))] The squirrel visits the bear.[(((((triple8) -> rule5)) -> rule8))] @3: The mouse sees the squirrel.[(((((((triple8) -> rule5) ((triple7) -> rule6)) -> rule2) triple10) -> rule4))]
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple5
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple6
The squirrel is green.
("squirrel" "is" "green" "+")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple9
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple7) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple8) -> (rule5 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((((triple8) -> (rule5 % int3)) ((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
((((triple8) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
((((((triple8) -> (rule5 % int4)) ((triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple10) -> (rule4 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4