The bald eagle is blue. The dog is cold. The mouse eats the bald eagle. If something sees the dog and the dog sees the mouse then the dog does not eat the bald eagle. If the bald eagle sees the dog then the dog sees the bald eagle. If something eats the mouse then it sees the dog. If something eats the mouse then it needs the mouse. If something is blue then it does not see the mouse. If something sees the dog and it does not see the bald eagle then the bald eagle sees the mouse.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
If something sees the dog and the dog sees the mouse then the dog does not eat the bald eagle.
((("something" "sees" "dog" "+") ("dog" "sees" "mouse" "+")) -> ("dog" "eats" "bald eagle" "-"))
If the bald eagle sees the dog then the dog sees the bald eagle.
((("bald eagle" "sees" "dog" "+")) -> ("dog" "sees" "bald eagle" "+"))
If something eats the mouse then it sees the dog.
((("something" "eats" "mouse" "+")) -> ("something" "sees" "dog" "+"))
If something eats the mouse then it needs the mouse.
((("something" "eats" "mouse" "+")) -> ("something" "needs" "mouse" "+"))
If something is blue then it does not see the mouse.
((("something" "is" "blue" "+")) -> ("something" "sees" "mouse" "-"))
If something sees the dog and it does not see the bald eagle then the bald eagle sees the mouse.
((("something" "sees" "dog" "+") ("something" "sees" "bald eagle" "~")) -> ("bald eagle" "sees" "mouse" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The mouse does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("mouse" "eats" "bald eagle" "-")
triple3
The bald eagle does not need the mouse.
Unknown
inv-rconc
[@1: The bald eagle needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "mouse" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bald eagle is blue.[(triple1)] The dog is cold.[(triple2)] The mouse eats the bald eagle.[(triple3)] @1: The bald eagle does not see the mouse.[(((triple1) -> rule5))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple3
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
((triple1) -> (rule5 % int1))
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
int1