The squirrel is young. The squirrel needs the tiger. The squirrel sees the tiger. The tiger is big. The tiger is green. The tiger is kind. The tiger is young. The tiger likes the squirrel. The tiger needs the squirrel. The tiger sees the squirrel. If the squirrel likes the tiger then the squirrel is big. If something sees the tiger and it is nice then the tiger sees the squirrel. If something likes the tiger and it likes the squirrel then the squirrel likes the tiger.
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If the squirrel likes the tiger then the squirrel is big.
((("squirrel" "likes" "tiger" "+")) -> ("squirrel" "is" "big" "+"))
If something sees the tiger and it is nice then the tiger sees the squirrel.
((("something" "sees" "tiger" "+") ("something" "is" "nice" "+")) -> ("tiger" "sees" "squirrel" "+"))
If something likes the tiger and it likes the squirrel then the squirrel likes the tiger.
((("something" "likes" "tiger" "+") ("something" "likes" "squirrel" "+")) -> ("squirrel" "likes" "tiger" "+"))
The squirrel is young.
True
1
proof
[(triple1)]
("squirrel" "is" "young" "+")
triple1
The squirrel does not need the tiger.
False
1
inv-proof
[(triple2)]
("squirrel" "needs" "tiger" "-")
triple2
The squirrel does not like the tiger.
Unknown
inv-rconc
[@1: The squirrel likes the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "tiger" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The squirrel is young.[(triple1)] The squirrel needs the tiger.[(triple2)] The squirrel sees the tiger.[(triple3)] The tiger is big.[(triple4)] The tiger is green.[(triple5)] The tiger is kind.[(triple6)] The tiger is young.[(triple7)] The tiger likes the squirrel.[(triple8)] The tiger needs the squirrel.[(triple9)] The tiger sees the squirrel.[(triple10)]
The squirrel is young.
("squirrel" "is" "young" "+")
triple1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple2
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple3
The tiger is big.
("tiger" "is" "big" "+")
triple4
The tiger is green.
("tiger" "is" "green" "+")
triple5
The tiger is kind.
("tiger" "is" "kind" "+")
triple6
The tiger is young.
("tiger" "is" "young" "+")
triple7
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple8
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple9
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple10