The cow needs the lion. The cow visits the mouse. The lion is not big. The lion is kind. The lion is nice. The mouse is red. The mouse needs the lion. The mouse sees the cow. The mouse sees the lion. The mouse visits the lion. If someone sees the mouse then the mouse is nice. If someone visits the mouse and they visit the lion then the mouse needs the lion.
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The lion is not big.
("lion" "is" "big" "-")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If someone sees the mouse then the mouse is nice.
((("someone" "sees" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If someone visits the mouse and they visit the lion then the mouse needs the lion.
((("someone" "visits" "mouse" "+") ("someone" "visits" "lion" "+")) -> ("mouse" "needs" "lion" "+"))
The lion is not big.
True
1
proof
[(triple3)]
("lion" "is" "big" "-")
triple3
The cow does not visit the mouse.
False
1
inv-proof
[(triple2)]
("cow" "visits" "mouse" "-")
triple2
The mouse is not nice.
Unknown
inv-rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "nice" "-")
The lion needs the mouse.
Unknown
random
[@0: The lion needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "mouse" "+")
@0: The cow needs the lion.[(triple1)] The cow visits the mouse.[(triple2)] The lion is kind.[(triple4)] The lion is nice.[(triple5)] The lion is not big.[(triple3)] The mouse is red.[(triple6)] The mouse needs the lion.[(triple7)] The mouse sees the cow.[(triple8)] The mouse sees the lion.[(triple9)] The mouse visits the lion.[(triple10)]
The cow needs the lion.
("cow" "needs" "lion" "+")
triple1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple4
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion is not big.
("lion" "is" "big" "-")
triple3
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple7
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple8
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple9
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple10