The bear chases the mouse. The bear is not rough. The mouse does not see the bear. If something sees the bear and the bear does not see the mouse then the bear likes the mouse. If something chases the bear then the bear likes the mouse. If something is blue and rough then it does not chase the bear. If something sees the bear and it is young then it is rough. If something sees the mouse then it chases the mouse. If something sees the mouse and it likes the mouse then the mouse chases the bear. If something likes the bear and it is young then it likes the mouse. If something sees the mouse and it sees the bear then the bear chases the mouse.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
If something sees the bear and the bear does not see the mouse then the bear likes the mouse.
((("something" "sees" "bear" "+") ("bear" "sees" "mouse" "~")) -> ("bear" "likes" "mouse" "+"))
If something chases the bear then the bear likes the mouse.
((("something" "chases" "bear" "+")) -> ("bear" "likes" "mouse" "+"))
If something is blue and rough then it does not chase the bear.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "chases" "bear" "-"))
If something sees the bear and it is young then it is rough.
((("something" "sees" "bear" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If something sees the mouse then it chases the mouse.
((("something" "sees" "mouse" "+")) -> ("something" "chases" "mouse" "+"))
If something sees the mouse and it likes the mouse then the mouse chases the bear.
((("something" "sees" "mouse" "+") ("something" "likes" "mouse" "+")) -> ("mouse" "chases" "bear" "+"))
If something likes the bear and it is young then it likes the mouse.
((("something" "likes" "bear" "+") ("something" "is" "young" "+")) -> ("something" "likes" "mouse" "+"))
If something sees the mouse and it sees the bear then the bear chases the mouse.
((("something" "sees" "mouse" "+") ("something" "sees" "bear" "+")) -> ("bear" "chases" "mouse" "+"))
The bear is not rough.
True
1
proof
[(triple2)]
("bear" "is" "rough" "-")
triple2
The bear does not chase the mouse.
False
1
inv-proof
[(triple1)]
("bear" "chases" "mouse" "-")
triple1
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The bear chases the mouse.[(triple1)] The bear is not rough.[(triple2)] The mouse does not see the bear.[(triple3)]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear is not rough.
("bear" "is" "rough" "-")
triple2
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
triple3