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