The bald eagle chases the mouse. The mouse eats the bald eagle. The rabbit is red. If the bald eagle is round then the bald eagle is rough. If someone is round then they chase the rabbit. If someone visits the mouse then they do not eat the bald eagle. If someone eats the bald eagle then the bald eagle is round. If someone visits the mouse and they do not eat the bald eagle then they eat the mouse. If someone eats the mouse then the mouse is cold.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If the bald eagle is round then the bald eagle is rough.
((("bald eagle" "is" "round" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone is round then they chase the rabbit.
((("someone" "is" "round" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone visits the mouse then they do not eat the bald eagle.
((("someone" "visits" "mouse" "+")) -> ("someone" "eats" "bald eagle" "-"))
If someone eats the bald eagle then the bald eagle is round.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If someone visits the mouse and they do not eat the bald eagle then they eat the mouse.
((("someone" "visits" "mouse" "+") ("someone" "eats" "bald eagle" "~")) -> ("someone" "eats" "mouse" "+"))
If someone eats the mouse then the mouse is cold.
((("someone" "eats" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
The bald eagle chases the mouse.
True
1
proof
[(triple1)]
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle does not chase the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "mouse" "-")
triple1
The bald eagle is round.
True
2
proof
[(((triple2) -> rule4))]
("bald eagle" "is" "round" "+")
((triple2) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not round.
False
2
inv-proof
[(((triple2) -> rule4))]
("bald eagle" "is" "round" "-")
((triple2) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The rabbit does not eat the mouse.
Unknown
inv-rconc
[@1: The rabbit eats the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "eats" "mouse" "-")
The mouse chases the rabbit.
Unknown
rconc
[@1: The mouse chases the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "chases" "rabbit" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The mouse visits the bald eagle.
Unknown
random
[@0: The mouse visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bald eagle" "+")
@0: The bald eagle chases the mouse.[(triple1)] The mouse eats the bald eagle.[(triple2)] The rabbit is red.[(triple3)] @1: The bald eagle is round.[(((triple2) -> rule4))] @2: The bald eagle chases the rabbit.[(((((triple2) -> rule4)) -> rule2))] The bald eagle is rough.[(((((triple2) -> rule4)) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple2
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple2) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2