The bald eagle is young. The bald eagle likes the lion. The bald eagle needs the squirrel. The lion is not rough. The lion does not like the bald eagle. The lion likes the squirrel. The lion needs the bald eagle. The lion does not need the squirrel. The lion does not see the bald eagle. The lion sees the squirrel. The squirrel is red. The squirrel needs the lion. If someone likes the lion then the lion is not blue. If the lion sees the bald eagle then the bald eagle likes the squirrel. If someone is red then they see the squirrel. If someone is nice and they do not like the squirrel then they need the squirrel. If someone sees the bald eagle and the bald eagle needs the squirrel then the squirrel needs the bald eagle. If someone sees the squirrel and the squirrel sees the bald eagle then they are young. If someone needs the squirrel then the squirrel sees the bald eagle. If someone sees the bald eagle and the bald eagle needs the squirrel then the squirrel sees the bald eagle.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion does not need the squirrel.
("lion" "needs" "squirrel" "-")
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If someone likes the lion then the lion is not blue.
((("someone" "likes" "lion" "+")) -> ("lion" "is" "blue" "-"))
If the lion sees the bald eagle then the bald eagle likes the squirrel.
((("lion" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
If someone is red then they see the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone is nice and they do not like the squirrel then they need the squirrel.
((("someone" "is" "nice" "+") ("someone" "likes" "squirrel" "~")) -> ("someone" "needs" "squirrel" "+"))
If someone sees the bald eagle and the bald eagle needs the squirrel then the squirrel needs the bald eagle.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "needs" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If someone sees the squirrel and the squirrel sees the bald eagle then they are young.
((("someone" "sees" "squirrel" "+") ("squirrel" "sees" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
If someone needs the squirrel then the squirrel sees the bald eagle.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
If someone sees the bald eagle and the bald eagle needs the squirrel then the squirrel sees the bald eagle.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "needs" "squirrel" "+")) -> ("squirrel" "sees" "bald eagle" "+"))
The lion does not see the bald eagle.
True
1
proof
[(triple9)]
("lion" "sees" "bald eagle" "-")
triple9
The squirrel does not need the lion.
False
1
inv-proof
[(triple12)]
("squirrel" "needs" "lion" "-")
triple12
The lion is not blue.
True
2
proof
[(((triple2) -> rule1))]
("lion" "is" "blue" "-")
((triple2) -> (rule1 % int1))
The lion is not blue.
("lion" "is" "blue" "-")
int1
The lion is blue.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "is" "blue" "+")
((triple2) -> (rule1 % int1))
The lion is not blue.
("lion" "is" "blue" "-")
int1
The squirrel needs the bald eagle.
True
4
proof
[(((((triple3) -> rule7) triple3) -> rule5))]
("squirrel" "needs" "bald eagle" "+")
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The squirrel does not need the bald eagle.
False
4
inv-proof
[(((((triple3) -> rule7) triple3) -> rule5))]
("squirrel" "needs" "bald eagle" "-")
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The bald eagle does not like the squirrel.
Unknown
inv-rconc
[@1: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "needs" "squirrel" "+")
The bald eagle does not see the squirrel.
Unknown
inv-rconc
[@1: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "squirrel" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel likes the lion.
Unknown
random
[@0: The squirrel likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "lion" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The lion does not like the bald eagle.[(triple5)] The lion does not need the squirrel.[(triple8)] The lion does not see the bald eagle.[(triple9)] The lion is not rough.[(triple4)] The lion likes the squirrel.[(triple6)] The lion needs the bald eagle.[(triple7)] The lion sees the squirrel.[(triple10)] The squirrel is red.[(triple11)] The squirrel needs the lion.[(triple12)] @1: The lion is not blue.[(((triple2) -> rule1))] The squirrel sees the bald eagle.[(((triple3) -> rule7))] The squirrel sees the squirrel.[(((triple11) -> rule3))] @2: The lion is young.[(((triple10 ((triple3) -> rule7)) -> rule6))] The squirrel is young.[(((((triple11) -> rule3) ((triple3) -> rule7)) -> rule6))] The squirrel needs the bald eagle.[(((((triple3) -> rule7) triple3) -> rule5))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The lion does not like the bald eagle.
("lion" "likes" "bald eagle" "-")
triple5
The lion does not need the squirrel.
("lion" "needs" "squirrel" "-")
triple8
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
triple9
The lion is not rough.
("lion" "is" "rough" "-")
triple4
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple6
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple7
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple12
The lion is not blue.
("lion" "is" "blue" "-")
((triple2) -> (rule1 % int1))
The lion is not blue.
("lion" "is" "blue" "-")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
((triple3) -> (rule7 % int1))
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple11) -> (rule3 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The lion is young.
("lion" "is" "young" "+")
((triple10 ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((((triple11) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((((triple3) -> (rule7 % int2)) triple3) -> (rule5 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
int2