The bald eagle likes the mouse. The cat visits the mouse. The mouse chases the cat. If someone visits the mouse then they visit the cat.
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
If someone visits the mouse then they visit the cat.
((("someone" "visits" "mouse" "+")) -> ("someone" "visits" "cat" "+"))
The cat visits the mouse.
True
1
proof
[(triple2)]
("cat" "visits" "mouse" "+")
triple2
The cat does not visit the mouse.
False
1
inv-proof
[(triple2)]
("cat" "visits" "mouse" "-")
triple2
The cat visits the cat.
True
2
proof
[(((triple2) -> rule1))]
("cat" "visits" "cat" "+")
((triple2) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat does not visit the cat.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "visits" "cat" "-")
((triple2) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The mouse does not visit the cat.
Unknown
inv-rconc
[@1: The mouse visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "cat" "-")
The bald eagle visits the cat.
Unknown
rconc
[@1: The bald eagle visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "cat" "+")
The bald eagle does not visit the mouse.
Unknown
inv-random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The bald eagle likes the mouse.[(triple1)] The cat visits the mouse.[(triple2)] The mouse chases the cat.[(triple3)] @1: The cat visits the cat.[(((triple2) -> rule1))]
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple1
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple2
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple3
The cat visits the cat.
("cat" "visits" "cat" "+")
((triple2) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1