The cow is green. The rabbit needs the squirrel. The squirrel eats the tiger. The tiger is green. If something needs the squirrel then the squirrel sees the tiger.
The cow is green.
("cow" "is" "green" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
If something needs the squirrel then the squirrel sees the tiger.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "sees" "tiger" "+"))
The cow is green.
True
1
proof
[(triple1)]
("cow" "is" "green" "+")
triple1
The tiger is not green.
False
1
inv-proof
[(triple4)]
("tiger" "is" "green" "-")
triple4
The squirrel sees the tiger.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "sees" "tiger" "+")
((triple2) -> (rule1 % int1))
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int1
The squirrel does not see the tiger.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "sees" "tiger" "-")
((triple2) -> (rule1 % int1))
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int1
The tiger is not red.
Unknown
inv-random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "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 tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The cow is green.[(triple1)] The rabbit needs the squirrel.[(triple2)] The squirrel eats the tiger.[(triple3)] The tiger is green.[(triple4)] @1: The squirrel sees the tiger.[(((triple2) -> rule1))]
The cow is green.
("cow" "is" "green" "+")
triple1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple3
The tiger is green.
("tiger" "is" "green" "+")
triple4
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
((triple2) -> (rule1 % int1))
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int1