The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel is young. The squirrel sees the tiger. The tiger chases the squirrel. The tiger does not eat the squirrel. The tiger is green. The tiger is kind. The tiger is nice. The tiger is not rough. The tiger is young. The tiger sees the squirrel. If someone is green and they do not chase the tiger then the tiger does not chase the squirrel.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone is green and they do not chase the tiger then the tiger does not chase the squirrel.
((("someone" "is" "green" "+") ("someone" "chases" "tiger" "~")) -> ("tiger" "chases" "squirrel" "-"))
The tiger is young.
True
1
proof
[(triple15)]
("tiger" "is" "young" "+")
triple15
The tiger is not young.
False
1
inv-proof
[(triple15)]
("tiger" "is" "young" "-")
triple15
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The squirrel chases the tiger.[(triple1)] The squirrel eats the tiger.[(triple2)] The squirrel is green.[(triple3)] The squirrel is kind.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is rough.[(triple6)] The squirrel is young.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger does not eat the squirrel.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is nice.[(triple13)] The tiger is not rough.[(triple14)] The tiger is young.[(triple15)] The tiger sees the squirrel.[(triple16)]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple2
The squirrel is green.
("squirrel" "is" "green" "+")
triple3
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple4
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple5
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple8
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple9
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger is not rough.
("tiger" "is" "rough" "-")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple16