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