The bald eagle sees the mouse. The cat sees the lion. The lion likes the bald eagle. The mouse likes the bald eagle. If the bald eagle sees the mouse then the mouse sees the lion. If something is green then it sees the cat.
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
If the bald eagle sees the mouse then the mouse sees the lion.
((("bald eagle" "sees" "mouse" "+")) -> ("mouse" "sees" "lion" "+"))
If something is green then it sees the cat.
((("something" "is" "green" "+")) -> ("something" "sees" "cat" "+"))
The mouse likes the bald eagle.
True
1
proof
[(triple4)]
("mouse" "likes" "bald eagle" "+")
triple4
The cat does not see the lion.
False
1
inv-proof
[(triple2)]
("cat" "sees" "lion" "-")
triple2
The mouse sees the lion.
True
2
proof
[(((triple1) -> rule1))]
("mouse" "sees" "lion" "+")
((triple1) -> (rule1 % int1))
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int1
The mouse does not see the lion.
False
2
inv-proof
[(((triple1) -> rule1))]
("mouse" "sees" "lion" "-")
((triple1) -> (rule1 % int1))
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int1
The mouse does not see the cat.
Unknown
inv-rconc
[@1: The mouse sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "sees" "cat" "-")
The cat sees the cat.
Unknown
rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "cat" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle sees the mouse.[(triple1)] The cat sees the lion.[(triple2)] The lion likes the bald eagle.[(triple3)] The mouse likes the bald eagle.[(triple4)] @1: The mouse sees the lion.[(((triple1) -> rule1))]
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple1
The cat sees the lion.
("cat" "sees" "lion" "+")
triple2
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple3
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple4
The mouse sees the lion.
("mouse" "sees" "lion" "+")
((triple1) -> (rule1 % int1))
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int1