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