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