The dog likes the mouse. The mouse is cold. The mouse visits the dog. If someone likes the mouse then they do not visit the mouse.
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If someone likes the mouse then they do not visit the mouse.
((("someone" "likes" "mouse" "+")) -> ("someone" "visits" "mouse" "-"))
The dog likes the mouse.
True
1
proof
[(triple1)]
("dog" "likes" "mouse" "+")
triple1
The mouse is not cold.
False
1
inv-proof
[(triple2)]
("mouse" "is" "cold" "-")
triple2
The dog does not visit the mouse.
True
2
proof
[(((triple1) -> rule1))]
("dog" "visits" "mouse" "-")
((triple1) -> (rule1 % int1))
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
int1
The dog visits the mouse.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "visits" "mouse" "+")
((triple1) -> (rule1 % int1))
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
int1
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The dog likes the mouse.[(triple1)] The mouse is cold.[(triple2)] The mouse visits the dog.[(triple3)] @1: The dog does not visit the mouse.[(((triple1) -> rule1))]
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple3
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
((triple1) -> (rule1 % int1))
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
int1