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