The squirrel chases the tiger. The squirrel is young. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is big. The tiger is green. The tiger sees the squirrel. If something is green then it visits the tiger. If something visits the squirrel then it sees the tiger. If something visits the tiger and it is nice then the tiger sees the squirrel.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If something is green then it visits the tiger.
((("something" "is" "green" "+")) -> ("something" "visits" "tiger" "+"))
If something visits the squirrel then it sees the tiger.
((("something" "visits" "squirrel" "+")) -> ("something" "sees" "tiger" "+"))
If something visits the tiger and it is nice then the tiger sees the squirrel.
((("something" "visits" "tiger" "+") ("something" "is" "nice" "+")) -> ("tiger" "sees" "squirrel" "+"))
The tiger is green.
True
1
proof
[(triple6)]
("tiger" "is" "green" "+")
triple6
The tiger does not see the squirrel.
False
1
inv-proof
[(triple7)]
("tiger" "sees" "squirrel" "-")
triple7
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The squirrel chases the tiger.[(triple1)] The squirrel is young.[(triple2)] The squirrel sees the tiger.[(triple3)] The tiger chases the squirrel.[(triple4)] The tiger is big.[(triple5)] The tiger is green.[(triple6)] The tiger sees the squirrel.[(triple7)] @1: The tiger visits the tiger.[(((triple6) -> rule1))]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
The squirrel is young.
("squirrel" "is" "young" "+")
triple2
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple3
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple4
The tiger is big.
("tiger" "is" "big" "+")
triple5
The tiger is green.
("tiger" "is" "green" "+")
triple6
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple7
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple6) -> (rule1 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1