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