The cow chases the mouse. The cow is nice. The mouse is cold. The mouse is nice. The mouse is rough. The mouse sees the tiger. The squirrel chases the cow. The squirrel chases the tiger. The squirrel is rough. The squirrel is young. The squirrel sees the cow. The squirrel visits the cow. The tiger chases the cow. The tiger is young. The tiger sees the squirrel. The tiger visits the mouse. If the mouse is cold then the mouse chases the squirrel. If someone is rough and they see the cow then the cow sees the mouse.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is nice.
("cow" "is" "nice" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If the mouse is cold then the mouse chases the squirrel.
((("mouse" "is" "cold" "+")) -> ("mouse" "chases" "squirrel" "+"))
If someone is rough and they see the cow then the cow sees the mouse.
((("someone" "is" "rough" "+") ("someone" "sees" "cow" "+")) -> ("cow" "sees" "mouse" "+"))
The squirrel sees the cow.
True
1
proof
[(triple11)]
("squirrel" "sees" "cow" "+")
triple11
The squirrel is not rough.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "rough" "-")
triple9
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The squirrel sees the mouse.
Unknown
random
[@0: The squirrel sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "mouse" "+")
@0: The cow chases the mouse.[(triple1)] The cow is nice.[(triple2)] The mouse is cold.[(triple3)] The mouse is nice.[(triple4)] The mouse is rough.[(triple5)] The mouse sees the tiger.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is young.[(triple10)] The squirrel sees the cow.[(triple11)] The squirrel visits the cow.[(triple12)] The tiger chases the cow.[(triple13)] The tiger is young.[(triple14)] The tiger sees the squirrel.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The cow sees the mouse.[(((triple9 triple11) -> rule2))] The mouse chases the squirrel.[(((triple3) -> rule1))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple6
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple7
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel is young.
("squirrel" "is" "young" "+")
triple10
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple11
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple12
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple15
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple16
The cow sees the mouse.
("cow" "sees" "mouse" "+")
((triple9 triple11) -> (rule2 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
((triple3) -> (rule1 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1