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