The bear eats the rabbit. The bear visits the lion. The lion visits the bear. The lion visits the mouse. The lion visits the rabbit. The mouse eats the bear. The rabbit eats the bear. If the bear visits the lion then the lion eats the rabbit. If someone needs the bear then the bear eats the mouse. If someone visits the rabbit and the rabbit is kind then the rabbit visits the lion. If someone eats the bear then they are rough. If someone is kind then they are cold. If someone needs the rabbit then they are cold. If someone eats the rabbit and they are rough then the rabbit visits the bear. If someone visits the lion and the lion needs the rabbit then the rabbit is round.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
If the bear visits the lion then the lion eats the rabbit.
((("bear" "visits" "lion" "+")) -> ("lion" "eats" "rabbit" "+"))
If someone needs the bear then the bear eats the mouse.
((("someone" "needs" "bear" "+")) -> ("bear" "eats" "mouse" "+"))
If someone visits the rabbit and the rabbit is kind then the rabbit visits the lion.
((("someone" "visits" "rabbit" "+") ("rabbit" "is" "kind" "+")) -> ("rabbit" "visits" "lion" "+"))
If someone eats the bear then they are rough.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone needs the rabbit then they are cold.
((("someone" "needs" "rabbit" "+")) -> ("someone" "is" "cold" "+"))
If someone eats the rabbit and they are rough then the rabbit visits the bear.
((("someone" "eats" "rabbit" "+") ("someone" "is" "rough" "+")) -> ("rabbit" "visits" "bear" "+"))
If someone visits the lion and the lion needs the rabbit then the rabbit is round.
((("someone" "visits" "lion" "+") ("lion" "needs" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
The lion visits the mouse.
True
1
proof
[(triple4)]
("lion" "visits" "mouse" "+")
triple4
The lion does not visit the bear.
False
1
inv-proof
[(triple3)]
("lion" "visits" "bear" "-")
triple3
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "cold" "-")
The bear needs the lion.
Unknown
random
[@0: The bear needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "lion" "+")
@0: The bear eats the rabbit.[(triple1)] The bear visits the lion.[(triple2)] The lion visits the bear.[(triple3)] The lion visits the mouse.[(triple4)] The lion visits the rabbit.[(triple5)] The mouse eats the bear.[(triple6)] The rabbit eats the bear.[(triple7)] @1: The lion eats the rabbit.[(((triple2) -> rule1))] The mouse is rough.[(((triple6) -> rule4))] The rabbit is rough.[(((triple7) -> rule4))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear visits the lion.
("bear" "visits" "lion" "+")
triple2
The lion visits the bear.
("lion" "visits" "bear" "+")
triple3
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple4
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple5
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple6
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple7
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
((triple2) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
((triple6) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple7) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1