The bear does not like the cow. The bear does not like the lion. The bear sees the mouse. The cow is cold. The cow is not nice. The cow is not rough. The cow likes the mouse. The cow sees the bear. The cow visits the bear. The lion is not round. The lion likes the mouse. The lion sees the bear. The lion visits the mouse. The mouse is cold. The mouse visits the cow. The mouse does not visit the lion. If someone is blue and they do not see the mouse then the mouse likes the lion. If someone sees the cow then the cow does not like the bear. If the mouse likes the bear then the mouse does not see the cow. If someone visits the mouse and the mouse is nice then they are rough. If someone is cold then they do not like the bear. If someone sees the cow then they are blue. If someone likes the cow then they are blue. If someone visits the mouse and they are nice then they do not visit the lion.
The bear does not like the cow.
("bear" "likes" "cow" "-")
The bear does not like the lion.
("bear" "likes" "lion" "-")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is not rough.
("cow" "is" "rough" "-")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The mouse does not visit the lion.
("mouse" "visits" "lion" "-")
If someone is blue and they do not see the mouse then the mouse likes the lion.
((("someone" "is" "blue" "+") ("someone" "sees" "mouse" "~")) -> ("mouse" "likes" "lion" "+"))
If someone sees the cow then the cow does not like the bear.
((("someone" "sees" "cow" "+")) -> ("cow" "likes" "bear" "-"))
If the mouse likes the bear then the mouse does not see the cow.
((("mouse" "likes" "bear" "+")) -> ("mouse" "sees" "cow" "-"))
If someone visits the mouse and the mouse is nice then they are rough.
((("someone" "visits" "mouse" "+") ("mouse" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold then they do not like the bear.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "bear" "-"))
If someone sees the cow then they are blue.
((("someone" "sees" "cow" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the cow then they are blue.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "blue" "+"))
If someone visits the mouse and they are nice then they do not visit the lion.
((("someone" "visits" "mouse" "+") ("someone" "is" "nice" "+")) -> ("someone" "visits" "lion" "-"))
The bear sees the mouse.
True
1
proof
[(triple3)]
("bear" "sees" "mouse" "+")
triple3
The mouse is not cold.
False
1
inv-proof
[(triple14)]
("mouse" "is" "cold" "-")
triple14
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "blue" "-")
The mouse sees the bear.
Unknown
random
[@0: The mouse sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bear" "+")
@0: The bear does not like the cow.[(triple1)] The bear does not like the lion.[(triple2)] The bear sees the mouse.[(triple3)] The cow is cold.[(triple4)] The cow is not nice.[(triple5)] The cow is not rough.[(triple6)] The cow likes the mouse.[(triple7)] The cow sees the bear.[(triple8)] The cow visits the bear.[(triple9)] The lion is not round.[(triple10)] The lion likes the mouse.[(triple11)] The lion sees the bear.[(triple12)] The lion visits the mouse.[(triple13)] The mouse does not visit the lion.[(triple16)] The mouse is cold.[(triple14)] The mouse visits the cow.[(triple15)] @1: The cow does not like the bear.[(((triple4) -> rule5))] The mouse does not like the bear.[(((triple14) -> rule5))]
The bear does not like the cow.
("bear" "likes" "cow" "-")
triple1
The bear does not like the lion.
("bear" "likes" "lion" "-")
triple2
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow is not nice.
("cow" "is" "nice" "-")
triple5
The cow is not rough.
("cow" "is" "rough" "-")
triple6
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple7
The cow sees the bear.
("cow" "sees" "bear" "+")
triple8
The cow visits the bear.
("cow" "visits" "bear" "+")
triple9
The lion is not round.
("lion" "is" "round" "-")
triple10
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple11
The lion sees the bear.
("lion" "sees" "bear" "+")
triple12
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple13
The mouse does not visit the lion.
("mouse" "visits" "lion" "-")
triple16
The mouse is cold.
("mouse" "is" "cold" "+")
triple14
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple15
The cow does not like the bear.
("cow" "likes" "bear" "-")
((triple4) -> (rule5 % int1))
The cow does not like the bear.
("cow" "likes" "bear" "-")
int1
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
((triple14) -> (rule5 % int1))
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
int1