The bald eagle is cold. The mouse chases the bald eagle. If someone visits the bald eagle and the bald eagle needs the mouse then the mouse is rough. If someone needs the mouse and the mouse visits the bald eagle then the mouse is round. If someone visits the bald eagle and they are not young then the bald eagle is round. If someone chases the bald eagle then the bald eagle visits the mouse. If someone visits the mouse then the mouse needs the bald eagle. If someone needs the bald eagle then the bald eagle does not need the mouse. If someone visits the mouse then the mouse chases the bald eagle. If someone chases the mouse and they are not cold then they visit the bald eagle.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
If someone visits the bald eagle and the bald eagle needs the mouse then the mouse is rough.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "needs" "mouse" "+")) -> ("mouse" "is" "rough" "+"))
If someone needs the mouse and the mouse visits the bald eagle then the mouse is round.
((("someone" "needs" "mouse" "+") ("mouse" "visits" "bald eagle" "+")) -> ("mouse" "is" "round" "+"))
If someone visits the bald eagle and they are not young then the bald eagle is round.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "young" "~")) -> ("bald eagle" "is" "round" "+"))
If someone chases the bald eagle then the bald eagle visits the mouse.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If someone visits the mouse then the mouse needs the bald eagle.
((("someone" "visits" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If someone needs the bald eagle then the bald eagle does not need the mouse.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "mouse" "-"))
If someone visits the mouse then the mouse chases the bald eagle.
((("someone" "visits" "mouse" "+")) -> ("mouse" "chases" "bald eagle" "+"))
If someone chases the mouse and they are not cold then they visit the bald eagle.
((("someone" "chases" "mouse" "+") ("someone" "is" "cold" "~")) -> ("someone" "visits" "bald eagle" "+"))
The bald eagle is cold.
True
1
proof
[(triple1)]
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is not cold.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "cold" "-")
triple1
The bald eagle visits the mouse.
True
2
proof
[(((triple2) -> rule4))]
("bald eagle" "visits" "mouse" "+")
((triple2) -> (rule4 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bald eagle does not visit the mouse.
False
2
inv-proof
[(((triple2) -> rule4))]
("bald eagle" "visits" "mouse" "-")
((triple2) -> (rule4 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The mouse needs the bald eagle.
True
3
proof
[(((((triple2) -> rule4)) -> rule5))]
("mouse" "needs" "bald eagle" "+")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The mouse does not need the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule5))]
("mouse" "needs" "bald eagle" "-")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bald eagle does not need the mouse.
True
4
proof
[(((((((triple2) -> rule4)) -> rule5)) -> rule6))]
("bald eagle" "needs" "mouse" "-")
((((((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int3
The bald eagle needs the mouse.
False
4
inv-proof
[(((((((triple2) -> rule4)) -> rule5)) -> rule6))]
("bald eagle" "needs" "mouse" "+")
((((((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int3
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "round" "-")
The mouse visits the bald eagle.
Unknown
rconc
[@1: The mouse visits the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "visits" "bald eagle" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The mouse is round.
Unknown
rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "round" "+")
The mouse is not young.
Unknown
inv-random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle is cold.[(triple1)] The mouse chases the bald eagle.[(triple2)] @1: The bald eagle visits the mouse.[(((triple2) -> rule4))] @2: The mouse needs the bald eagle.[(((((triple2) -> rule4)) -> rule5))] @3: The bald eagle does not need the mouse.[(((((((triple2) -> rule4)) -> rule5)) -> rule6))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
((triple2) -> (rule4 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
((((((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int3