The cow is not rough. The cow sees the tiger. The squirrel is not nice. The squirrel is rough. The tiger is nice. The tiger visits the cow. The tiger visits the squirrel. If the tiger sees the cow then the cow sees the tiger. If something sees the cow and it is not cold then the cow does not visit the squirrel.
The cow is not rough.
("cow" "is" "rough" "-")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If the tiger sees the cow then the cow sees the tiger.
((("tiger" "sees" "cow" "+")) -> ("cow" "sees" "tiger" "+"))
If something sees the cow and it is not cold then the cow does not visit the squirrel.
((("something" "sees" "cow" "+") ("something" "is" "cold" "~")) -> ("cow" "visits" "squirrel" "-"))
The squirrel is rough.
True
1
proof
[(triple4)]
("squirrel" "is" "rough" "+")
triple4
The tiger does not visit the squirrel.
False
1
inv-proof
[(triple7)]
("tiger" "visits" "squirrel" "-")
triple7
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 is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The cow is not rough.[(triple1)] The cow sees the tiger.[(triple2)] The squirrel is not nice.[(triple3)] The squirrel is rough.[(triple4)] The tiger is nice.[(triple5)] The tiger visits the cow.[(triple6)] The tiger visits the squirrel.[(triple7)]
The cow is not rough.
("cow" "is" "rough" "-")
triple1
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple2
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
The tiger is nice.
("tiger" "is" "nice" "+")
triple5
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple6
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple7