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