The squirrel is kind. The squirrel is round. The squirrel visits the tiger. The tiger is nice. The tiger likes the squirrel. The tiger sees the squirrel. The tiger visits the squirrel. If something visits the tiger and it visits the squirrel then the tiger is nice.
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something visits the tiger and it visits the squirrel then the tiger is nice.
((("something" "visits" "tiger" "+") ("something" "visits" "squirrel" "+")) -> ("tiger" "is" "nice" "+"))
The tiger sees the squirrel.
True
1
proof
[(triple6)]
("tiger" "sees" "squirrel" "+")
triple6
The tiger does not see the squirrel.
False
1
inv-proof
[(triple6)]
("tiger" "sees" "squirrel" "-")
triple6
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The squirrel is kind.[(triple1)] The squirrel is round.[(triple2)] The squirrel visits the tiger.[(triple3)] The tiger is nice.[(triple4)] The tiger likes the squirrel.[(triple5)] The tiger sees the squirrel.[(triple6)] The tiger visits the squirrel.[(triple7)]
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple1
The squirrel is round.
("squirrel" "is" "round" "+")
triple2
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple3
The tiger is nice.
("tiger" "is" "nice" "+")
triple4
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple5
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple6
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple7