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