The bear eats the mouse. The bear is big. The bear is blue. The bear is cold. The bear is nice. The bear likes the mouse. The bear sees the mouse. The mouse eats the bear. The mouse is big. The mouse is blue. The mouse is cold. The mouse is nice. The mouse is rough. The mouse likes the bear. The mouse sees the bear. All nice people are cold.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
All nice people are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
The mouse is blue.
True
1
proof
[(triple10)]
("mouse" "is" "blue" "+")
triple10
The mouse does not like the bear.
False
1
inv-proof
[(triple14)]
("mouse" "likes" "bear" "-")
triple14
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 mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The bear eats the mouse.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4 OR ((triple5) -> rule1))] The bear is nice.[(triple5)] The bear likes the mouse.[(triple6)] The bear sees the mouse.[(triple7)] The mouse eats the bear.[(triple8)] The mouse is big.[(triple9)] The mouse is blue.[(triple10)] The mouse is cold.[(triple11 OR ((triple12) -> rule1))] The mouse is nice.[(triple12)] The mouse is rough.[(triple13)] The mouse likes the bear.[(triple14)] The mouse sees the bear.[(triple15)]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
((triple5) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple6
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple7
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
((triple12) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple14
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple15