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