The bear eats the mouse. The bear is not green. The bear likes the mouse. The bear visits the mouse. The mouse eats the bear. The mouse is not blue. The mouse is green. The mouse is not kind. The mouse is nice. The mouse likes the bear. Blue, green people are not big. If someone is green then they do not eat the mouse. If someone visits the mouse then they are blue.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is not green.
("bear" "is" "green" "-")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
Blue, green people are not big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "-"))
If someone is green then they do not eat the mouse.
((("someone" "is" "green" "+")) -> ("someone" "eats" "mouse" "-"))
If someone visits the mouse then they are blue.
((("someone" "visits" "mouse" "+")) -> ("someone" "is" "blue" "+"))
The bear is not green.
True
1
proof
[(triple2)]
("bear" "is" "green" "-")
triple2
The mouse is not nice.
False
1
inv-proof
[(triple9)]
("mouse" "is" "nice" "-")
triple9
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear eats the mouse.[(triple1)] The bear is not green.[(triple2)] The bear likes the mouse.[(triple3)] The bear visits the mouse.[(triple4)] The mouse eats the bear.[(triple5)] The mouse is green.[(triple7)] The mouse is nice.[(triple9)] The mouse is not blue.[(triple6)] The mouse is not kind.[(triple8)] The mouse likes the bear.[(triple10)] @1: The bear is blue.[(((triple4) -> rule3))] The mouse does not eat the mouse.[(((triple7) -> rule2))]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is not green.
("bear" "is" "green" "-")
triple2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple4
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple5
The mouse is green.
("mouse" "is" "green" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse is not blue.
("mouse" "is" "blue" "-")
triple6
The mouse is not kind.
("mouse" "is" "kind" "-")
triple8
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple10
The bear is blue.
("bear" "is" "blue" "+")
((triple4) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The mouse does not eat the mouse.
("mouse" "eats" "mouse" "-")
((triple7) -> (rule2 % int1))
The mouse does not eat the mouse.
("mouse" "eats" "mouse" "-")
int1