The bear is green. The bear is red. The bear is rough. The bear is round. The bear is not young. The bear likes the mouse. The bear sees the mouse. The bear visits the mouse. The mouse is red. The mouse is not rough. The mouse is round. The mouse is young. The mouse likes the bear. The mouse sees the bear. The mouse does not visit the bear. If someone visits the bear and they are not rough then the bear visits the mouse. If someone is green and they do not visit the mouse then they are not round.
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is not young.
("bear" "is" "young" "-")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse does not visit the bear.
("mouse" "visits" "bear" "-")
If someone visits the bear and they are not rough then the bear visits the mouse.
((("someone" "visits" "bear" "+") ("someone" "is" "rough" "~")) -> ("bear" "visits" "mouse" "+"))
If someone is green and they do not visit the mouse then they are not round.
((("someone" "is" "green" "+") ("someone" "visits" "mouse" "~")) -> ("someone" "is" "round" "-"))
The bear likes the mouse.
True
1
proof
[(triple6)]
("bear" "likes" "mouse" "+")
triple6
The bear is not green.
False
1
inv-proof
[(triple1)]
("bear" "is" "green" "-")
triple1
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 bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear is green.[(triple1)] The bear is not young.[(triple5)] The bear is red.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear likes the mouse.[(triple6)] The bear sees the mouse.[(triple7)] The bear visits the mouse.[(triple8)] The mouse does not visit the bear.[(triple15)] The mouse is not rough.[(triple10)] The mouse is red.[(triple9)] The mouse is round.[(triple11)] The mouse is young.[(triple12)] The mouse likes the bear.[(triple13)] The mouse sees the bear.[(triple14)]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is not young.
("bear" "is" "young" "-")
triple5
The bear is red.
("bear" "is" "red" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple6
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple7
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple8
The mouse does not visit the bear.
("mouse" "visits" "bear" "-")
triple15
The mouse is not rough.
("mouse" "is" "rough" "-")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple11
The mouse is young.
("mouse" "is" "young" "+")
triple12
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple13
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple14