The lion is nice. The lion is young. The lion likes the mouse. The lion sees the mouse. The mouse is blue. The mouse is rough. The mouse is young. The mouse likes the lion. The mouse sees the lion. The mouse visits the lion. If something visits the mouse then the mouse likes the lion. If something visits the lion and it sees the mouse then the lion is round.
The lion is nice.
("lion" "is" "nice" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If something visits the mouse then the mouse likes the lion.
((("something" "visits" "mouse" "+")) -> ("mouse" "likes" "lion" "+"))
If something visits the lion and it sees the mouse then the lion is round.
((("something" "visits" "lion" "+") ("something" "sees" "mouse" "+")) -> ("lion" "is" "round" "+"))
The mouse is young.
True
1
proof
[(triple7)]
("mouse" "is" "young" "+")
triple7
The mouse does not like the lion.
False
1
inv-proof
[(triple8)]
("mouse" "likes" "lion" "-")
triple8
The lion is not round.
Unknown
inv-rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "round" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion is nice.[(triple1)] The lion is young.[(triple2)] The lion likes the mouse.[(triple3)] The lion sees the mouse.[(triple4)] The mouse is blue.[(triple5)] The mouse is rough.[(triple6)] The mouse is young.[(triple7)] The mouse likes the lion.[(triple8)] The mouse sees the lion.[(triple9)] The mouse visits the lion.[(triple10)]
The lion is nice.
("lion" "is" "nice" "+")
triple1
The lion is young.
("lion" "is" "young" "+")
triple2
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple3
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple4
The mouse is blue.
("mouse" "is" "blue" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple8
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple9
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple10