The lion eats the mouse. The lion is not blue. The lion is cold. The lion is kind. The lion is not young. The lion needs the mouse. The mouse does not eat the lion. The mouse is blue. The mouse is cold. The mouse is round. The mouse needs the lion. The mouse visits the lion. If someone is young then they are round. If someone visits the lion then they do not eat the mouse. If someone visits the mouse and the mouse is round then the mouse visits the lion. If the lion is young then the lion needs the mouse. If the lion needs the mouse and the mouse is young then the mouse is round. If someone needs the mouse and the mouse is kind then they visit the mouse.
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is not blue.
("lion" "is" "blue" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is not young.
("lion" "is" "young" "-")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse does not eat the lion.
("mouse" "eats" "lion" "-")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If someone is young then they are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone visits the lion then they do not eat the mouse.
((("someone" "visits" "lion" "+")) -> ("someone" "eats" "mouse" "-"))
If someone visits the mouse and the mouse is round then the mouse visits the lion.
((("someone" "visits" "mouse" "+") ("mouse" "is" "round" "+")) -> ("mouse" "visits" "lion" "+"))
If the lion is young then the lion needs the mouse.
((("lion" "is" "young" "+")) -> ("lion" "needs" "mouse" "+"))
If the lion needs the mouse and the mouse is young then the mouse is round.
((("lion" "needs" "mouse" "+") ("mouse" "is" "young" "+")) -> ("mouse" "is" "round" "+"))
If someone needs the mouse and the mouse is kind then they visit the mouse.
((("someone" "needs" "mouse" "+") ("mouse" "is" "kind" "+")) -> ("someone" "visits" "mouse" "+"))
The lion eats the mouse.
True
1
proof
[(triple1)]
("lion" "eats" "mouse" "+")
triple1
The mouse is not round.
False
1
inv-proof
[(triple10)]
("mouse" "is" "round" "-")
triple10
The lion is not round.
Unknown
inv-rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "round" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The lion eats the mouse.[(triple1)] The lion is cold.[(triple3)] The lion is kind.[(triple4)] The lion is not blue.[(triple2)] The lion is not young.[(triple5)] The lion needs the mouse.[(triple6)] The mouse does not eat the lion.[(triple7)] The mouse is blue.[(triple8)] The mouse is cold.[(triple9)] The mouse is round.[(triple10)] The mouse needs the lion.[(triple11)] The mouse visits the lion.[(triple12)] @1: The mouse does not eat the mouse.[(((triple12) -> rule2))]
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple3
The lion is kind.
("lion" "is" "kind" "+")
triple4
The lion is not blue.
("lion" "is" "blue" "-")
triple2
The lion is not young.
("lion" "is" "young" "-")
triple5
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple6
The mouse does not eat the lion.
("mouse" "eats" "lion" "-")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple10
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple11
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple12
The mouse does not eat the mouse.
("mouse" "eats" "mouse" "-")
((triple12) -> (rule2 % int1))
The mouse does not eat the mouse.
("mouse" "eats" "mouse" "-")
int1