The squirrel chases the tiger. The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel likes the tiger. The squirrel needs the tiger. The tiger chases the squirrel. The tiger is big. The tiger is green. The tiger is kind. The tiger is nice. The tiger is red. The tiger likes the squirrel. The tiger needs the squirrel. If something needs the squirrel and it is big then it likes the squirrel. If something is red and it needs the tiger then it needs the squirrel.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something needs the squirrel and it is big then it likes the squirrel.
((("something" "needs" "squirrel" "+") ("something" "is" "big" "+")) -> ("something" "likes" "squirrel" "+"))
If something is red and it needs the tiger then it needs the squirrel.
((("something" "is" "red" "+") ("something" "needs" "tiger" "+")) -> ("something" "needs" "squirrel" "+"))
The tiger chases the squirrel.
True
1
proof
[(triple9)]
("tiger" "chases" "squirrel" "+")
triple9
The squirrel is not red.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "red" "-")
triple6
The squirrel needs the squirrel.
True
3
proof
[(((triple6 triple8) -> rule2))]
("squirrel" "needs" "squirrel" "+")
((triple6 triple8) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not need the squirrel.
False
3
inv-proof
[(((triple6 triple8) -> rule2))]
("squirrel" "needs" "squirrel" "-")
((triple6 triple8) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel likes the squirrel.
True
5
proof
[(((((triple6 triple8) -> rule2) triple2) -> rule1))]
("squirrel" "likes" "squirrel" "+")
((((triple6 triple8) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel does not like the squirrel.
False
5
inv-proof
[(((((triple6 triple8) -> rule2) triple2) -> rule1))]
("squirrel" "likes" "squirrel" "-")
((((triple6 triple8) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The squirrel chases the tiger.[(triple1)] The squirrel is big.[(triple2)] The squirrel is green.[(triple3)] The squirrel is kind.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is red.[(triple6)] The squirrel likes the tiger.[(triple7)] The squirrel needs the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger is big.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is nice.[(triple13)] The tiger is red.[(triple14)] The tiger likes the squirrel.[(triple15 OR ((triple16 triple10) -> rule1))] The tiger needs the squirrel.[(triple16)] @1: The squirrel needs the squirrel.[(((triple6 triple8) -> rule2))] @2: The squirrel likes the squirrel.[(((((triple6 triple8) -> rule2) triple2) -> rule1))]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
The squirrel is big.
("squirrel" "is" "big" "+")
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 red.
("squirrel" "is" "red" "+")
triple6
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple7
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple8
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
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 red.
("tiger" "is" "red" "+")
triple14
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple15
((triple16 triple10) -> (rule1 % int1))
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple16
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple6 triple8) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((((triple6 triple8) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2