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