The bald eagle is nice. The bald eagle is round. The bald eagle needs the squirrel. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel likes the bald eagle. The squirrel likes the tiger. The squirrel needs the bald eagle. The squirrel sees the bald eagle. The squirrel sees the tiger. The tiger is nice. The tiger likes the bald eagle. The tiger needs the bald eagle. The tiger needs the squirrel. If someone sees the bald eagle then they like the squirrel. If someone needs the tiger then they are round. If someone sees the squirrel and the squirrel is round then the squirrel is young.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone sees the bald eagle then they like the squirrel.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone needs the tiger then they are round.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "round" "+"))
If someone sees the squirrel and the squirrel is round then the squirrel is young.
((("someone" "sees" "squirrel" "+") ("squirrel" "is" "round" "+")) -> ("squirrel" "is" "young" "+"))
The squirrel sees the tiger.
True
1
proof
[(triple11)]
("squirrel" "sees" "tiger" "+")
triple11
The tiger does not need the squirrel.
False
1
inv-proof
[(triple15)]
("tiger" "needs" "squirrel" "-")
triple15
The bald eagle does not like the squirrel.
Unknown
inv-rconc
[@1: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "squirrel" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The squirrel is green.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is round.[(triple6)] The squirrel likes the bald eagle.[(triple7)] The squirrel likes the tiger.[(triple8)] The squirrel needs the bald eagle.[(triple9)] The squirrel sees the bald eagle.[(triple10)] The squirrel sees the tiger.[(triple11)] The tiger is nice.[(triple12)] The tiger likes the bald eagle.[(triple13)] The tiger needs the bald eagle.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The squirrel likes the squirrel.[(((triple10) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The squirrel is green.
("squirrel" "is" "green" "+")
triple4
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple5
The squirrel is round.
("squirrel" "is" "round" "+")
triple6
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple7
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple8
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple9
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple10
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple13
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple14
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1