The squirrel eats the tiger. The squirrel is big. The squirrel is red. The squirrel likes the tiger. The squirrel sees the tiger. The tiger eats the squirrel. The tiger sees the squirrel. If the tiger sees the squirrel then the tiger is blue.
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If the tiger sees the squirrel then the tiger is blue.
((("tiger" "sees" "squirrel" "+")) -> ("tiger" "is" "blue" "+"))
The squirrel is red.
True
1
proof
[(triple3)]
("squirrel" "is" "red" "+")
triple3
The tiger does not see the squirrel.
False
1
inv-proof
[(triple7)]
("tiger" "sees" "squirrel" "-")
triple7
The tiger is blue.
True
2
proof
[(((triple7) -> rule1))]
("tiger" "is" "blue" "+")
((triple7) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is not blue.
False
2
inv-proof
[(((triple7) -> rule1))]
("tiger" "is" "blue" "-")
((triple7) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The tiger does not like the squirrel.
Unknown
inv-random
[@0: The tiger likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "squirrel" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The squirrel eats the tiger.[(triple1)] The squirrel is big.[(triple2)] The squirrel is red.[(triple3)] The squirrel likes the tiger.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger eats the squirrel.[(triple6)] The tiger sees the squirrel.[(triple7)] @1: The tiger is blue.[(((triple7) -> rule1))]
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple1
The squirrel is big.
("squirrel" "is" "big" "+")
triple2
The squirrel is red.
("squirrel" "is" "red" "+")
triple3
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple4
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple5
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple6
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
((triple7) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1