The dog is not round. The lion eats the mouse. The mouse chases the dog. If something eats the mouse then the mouse does not eat the dog.
The dog is not round.
("dog" "is" "round" "-")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
If something eats the mouse then the mouse does not eat the dog.
((("something" "eats" "mouse" "+")) -> ("mouse" "eats" "dog" "-"))
The lion eats the mouse.
True
1
proof
[(triple2)]
("lion" "eats" "mouse" "+")
triple2
The lion does not eat the mouse.
False
1
inv-proof
[(triple2)]
("lion" "eats" "mouse" "-")
triple2
The mouse does not eat the dog.
True
2
proof
[(((triple2) -> rule1))]
("mouse" "eats" "dog" "-")
((triple2) -> (rule1 % int1))
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
int1
The mouse eats the dog.
False
2
inv-proof
[(((triple2) -> rule1))]
("mouse" "eats" "dog" "+")
((triple2) -> (rule1 % int1))
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
int1
The mouse does not eat the lion.
Unknown
inv-random
[@0: The mouse eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "lion" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The dog eats the lion.
Unknown
random
[@0: The dog eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "lion" "+")
@0: The dog is not round.[(triple1)] The lion eats the mouse.[(triple2)] The mouse chases the dog.[(triple3)] @1: The mouse does not eat the dog.[(((triple2) -> rule1))]
The dog is not round.
("dog" "is" "round" "-")
triple1
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple3
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
((triple2) -> (rule1 % int1))
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
int1