The bear sees the lion. The lion sees the mouse. The mouse likes the bear. If something sees the lion then the lion visits the mouse.
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
If something sees the lion then the lion visits the mouse.
((("something" "sees" "lion" "+")) -> ("lion" "visits" "mouse" "+"))
The bear sees the lion.
True
1
proof
[(triple1)]
("bear" "sees" "lion" "+")
triple1
The lion does not see the mouse.
False
1
inv-proof
[(triple2)]
("lion" "sees" "mouse" "-")
triple2
The lion visits the mouse.
True
2
proof
[(((triple1) -> rule1))]
("lion" "visits" "mouse" "+")
((triple1) -> (rule1 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1
The lion does not visit the mouse.
False
2
inv-proof
[(((triple1) -> rule1))]
("lion" "visits" "mouse" "-")
((triple1) -> (rule1 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The bear likes the mouse.
Unknown
random
[@0: The bear likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "mouse" "+")
The mouse is not round.
Unknown
inv-random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "-")
The mouse sees the lion.
Unknown
random
[@0: The mouse sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "lion" "+")
@0: The bear sees the lion.[(triple1)] The lion sees the mouse.[(triple2)] The mouse likes the bear.[(triple3)] @1: The lion visits the mouse.[(((triple1) -> rule1))]
The bear sees the lion.
("bear" "sees" "lion" "+")
triple1
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple2
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple3
The lion visits the mouse.
("lion" "visits" "mouse" "+")
((triple1) -> (rule1 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1