The cow is green. The cow is kind. The cow is rough. The cow is young. The cow needs the squirrel. The cow sees the squirrel. The cow visits the squirrel. The squirrel is not young. The squirrel needs the cow. The squirrel visits the cow. If someone sees the squirrel then the squirrel visits the cow.
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone sees the squirrel then the squirrel visits the cow.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "visits" "cow" "+"))
The cow is rough.
True
1
proof
[(triple3)]
("cow" "is" "rough" "+")
triple3
The squirrel does not need the cow.
False
1
inv-proof
[(triple9)]
("squirrel" "needs" "cow" "-")
triple9
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The squirrel sees the cow.
Unknown
random
[@0: The squirrel sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cow" "+")
@0: The cow is green.[(triple1)] The cow is kind.[(triple2)] The cow is rough.[(triple3)] The cow is young.[(triple4)] The cow needs the squirrel.[(triple5)] The cow sees the squirrel.[(triple6)] The cow visits the squirrel.[(triple7)] The squirrel is not young.[(triple8)] The squirrel needs the cow.[(triple9)] The squirrel visits the cow.[(triple10 OR ((triple6) -> rule1))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple5
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple6
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple7
The squirrel is not young.
("squirrel" "is" "young" "-")
triple8
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple9
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple10
((triple6) -> (rule1 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1