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