The squirrel eats the tiger. The squirrel is big. The squirrel is green. The squirrel is not kind. The squirrel is nice. The squirrel is not rough. The squirrel does not like the tiger. The squirrel needs the tiger. The tiger does not eat the squirrel. The tiger is big. The tiger is kind. The tiger is not nice. The tiger is rough. The tiger does not like the squirrel. The tiger needs the squirrel. If something needs the tiger then the tiger does not eat the squirrel. If something needs the tiger then it likes the squirrel.
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel does not like the tiger.
("squirrel" "likes" "tiger" "-")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is not nice.
("tiger" "is" "nice" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger does not like the squirrel.
("tiger" "likes" "squirrel" "-")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something needs the tiger then the tiger does not eat the squirrel.
((("something" "needs" "tiger" "+")) -> ("tiger" "eats" "squirrel" "-"))
If something needs the tiger then it likes the squirrel.
((("something" "needs" "tiger" "+")) -> ("something" "likes" "squirrel" "+"))
The tiger does not like the squirrel.
True
1
proof
[(triple14)]
("tiger" "likes" "squirrel" "-")
triple14
The squirrel does not need the tiger.
False
1
inv-proof
[(triple8)]
("squirrel" "needs" "tiger" "-")
triple8
The squirrel likes the squirrel.
True
2
proof
[(((triple8) -> rule2))]
("squirrel" "likes" "squirrel" "+")
((triple8) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
False
2
inv-proof
[(((triple8) -> rule2))]
("squirrel" "likes" "squirrel" "-")
((triple8) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The squirrel does not like the tiger.[(triple7)] The squirrel eats the tiger.[(triple1)] The squirrel is big.[(triple2)] The squirrel is green.[(triple3)] The squirrel is nice.[(triple5)] The squirrel is not kind.[(triple4)] The squirrel is not rough.[(triple6)] The squirrel needs the tiger.[(triple8)] The tiger does not eat the squirrel.[(triple9 OR ((triple8) -> rule1))] The tiger does not like the squirrel.[(triple14)] The tiger is big.[(triple10)] The tiger is kind.[(triple11)] The tiger is not nice.[(triple12)] The tiger is rough.[(triple13)] The tiger needs the squirrel.[(triple15)] @1: The squirrel likes the squirrel.[(((triple8) -> rule2))]
The squirrel does not like the tiger.
("squirrel" "likes" "tiger" "-")
triple7
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple1
The squirrel is big.
("squirrel" "is" "big" "+")
triple2
The squirrel is green.
("squirrel" "is" "green" "+")
triple3
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple5
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple4
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple6
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple8
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
triple9
((triple8) -> (rule1 % int1))
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
int1
The tiger does not like the squirrel.
("tiger" "likes" "squirrel" "-")
triple14
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is not nice.
("tiger" "is" "nice" "-")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple8) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1