The bald eagle does not eat the dog. The bald eagle likes the mouse. The cat eats the bald eagle. The cat visits the dog. The dog eats the bald eagle. The dog eats the mouse. The dog is blue. The dog is green. The dog is rough. The mouse is green. If something eats the mouse and it is rough then the mouse does not visit the cat.
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The mouse is green.
("mouse" "is" "green" "+")
If something eats the mouse and it is rough then the mouse does not visit the cat.
((("something" "eats" "mouse" "+") ("something" "is" "rough" "+")) -> ("mouse" "visits" "cat" "-"))
The mouse is green.
True
1
proof
[(triple10)]
("mouse" "is" "green" "+")
triple10
The bald eagle eats the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "dog" "+")
triple1
The mouse does not visit the cat.
True
3
proof
[(((triple6 triple9) -> rule1))]
("mouse" "visits" "cat" "-")
((triple6 triple9) -> (rule1 % int1))
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
int1
The mouse visits the cat.
False
3
inv-proof
[(((triple6 triple9) -> rule1))]
("mouse" "visits" "cat" "+")
((triple6 triple9) -> (rule1 % int1))
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
int1
The cat does not eat the mouse.
Unknown
inv-random
[@0: The cat eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "mouse" "-")
The cat likes the mouse.
Unknown
random
[@0: The cat likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "mouse" "+")
The dog does not visit the cat.
Unknown
inv-random
[@0: The dog visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cat" "-")
The mouse eats the cat.
Unknown
random
[@0: The mouse eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cat" "+")
@0: The bald eagle does not eat the dog.[(triple1)] The bald eagle likes the mouse.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat visits the dog.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog eats the mouse.[(triple6)] The dog is blue.[(triple7)] The dog is green.[(triple8)] The dog is rough.[(triple9)] The mouse is green.[(triple10)] @1: The mouse does not visit the cat.[(((triple6 triple9) -> rule1))]
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cat visits the dog.
("cat" "visits" "dog" "+")
triple4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
((triple6 triple9) -> (rule1 % int1))
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
int1