The bear eats the lion. The bear eats the mouse. The lion does not eat the bear. The lion is rough. The lion is round. The mouse is young. The mouse likes the bear. If the bear eats the mouse then the mouse likes the lion.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The lion does not eat the bear.
("lion" "eats" "bear" "-")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
If the bear eats the mouse then the mouse likes the lion.
((("bear" "eats" "mouse" "+")) -> ("mouse" "likes" "lion" "+"))
The bear eats the lion.
True
1
proof
[(triple1)]
("bear" "eats" "lion" "+")
triple1
The bear does not eat the lion.
False
1
inv-proof
[(triple1)]
("bear" "eats" "lion" "-")
triple1
The mouse likes the lion.
True
2
proof
[(((triple2) -> rule1))]
("mouse" "likes" "lion" "+")
((triple2) -> (rule1 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The mouse does not like the lion.
False
2
inv-proof
[(((triple2) -> rule1))]
("mouse" "likes" "lion" "-")
((triple2) -> (rule1 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The mouse eats the lion.
Unknown
random
[@0: The mouse eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "lion" "+")
The mouse does not eat the bear.
Unknown
inv-random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bear eats the lion.[(triple1)] The bear eats the mouse.[(triple2)] The lion does not eat the bear.[(triple3)] The lion is rough.[(triple4)] The lion is round.[(triple5)] The mouse is young.[(triple6)] The mouse likes the bear.[(triple7)] @1: The mouse likes the lion.[(((triple2) -> rule1))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The lion does not eat the bear.
("lion" "eats" "bear" "-")
triple3
The lion is rough.
("lion" "is" "rough" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5
The mouse is young.
("mouse" "is" "young" "+")
triple6
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple7
The mouse likes the lion.
("mouse" "likes" "lion" "+")
((triple2) -> (rule1 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1