The squirrel is green. The squirrel is young. The squirrel likes the tiger. The tiger is blue. The tiger is rough. The tiger is young. The tiger likes the squirrel. If something likes the squirrel then it sees the tiger.
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If something likes the squirrel then it sees the tiger.
((("something" "likes" "squirrel" "+")) -> ("something" "sees" "tiger" "+"))
The squirrel is young.
True
1
proof
[(triple2)]
("squirrel" "is" "young" "+")
triple2
The squirrel is not green.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "green" "-")
triple1
The tiger sees the tiger.
True
2
proof
[(((triple7) -> rule1))]
("tiger" "sees" "tiger" "+")
((triple7) -> (rule1 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger does not see the tiger.
False
2
inv-proof
[(((triple7) -> rule1))]
("tiger" "sees" "tiger" "-")
((triple7) -> (rule1 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The squirrel does not see the tiger.
Unknown
inv-rconc
[@1: The squirrel sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
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 is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The squirrel is green.[(triple1)] The squirrel is young.[(triple2)] The squirrel likes the tiger.[(triple3)] The tiger is blue.[(triple4)] The tiger is rough.[(triple5)] The tiger is young.[(triple6)] The tiger likes the squirrel.[(triple7)] @1: The tiger sees the tiger.[(((triple7) -> rule1))]
The squirrel is green.
("squirrel" "is" "green" "+")
triple1
The squirrel is young.
("squirrel" "is" "young" "+")
triple2
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple3
The tiger is blue.
("tiger" "is" "blue" "+")
triple4
The tiger is rough.
("tiger" "is" "rough" "+")
triple5
The tiger is young.
("tiger" "is" "young" "+")
triple6
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple7
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((triple7) -> (rule1 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1