The bald eagle likes the rabbit. The mouse likes the bald eagle. The rabbit likes the mouse. If something likes the rabbit then the rabbit chases the bald eagle. If something chases the bald eagle then the bald eagle eats the mouse.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If something likes the rabbit then the rabbit chases the bald eagle.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
If something chases the bald eagle then the bald eagle eats the mouse.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
The bald eagle likes the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "likes" "rabbit" "+")
triple1
The bald eagle does not like the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "rabbit" "-")
triple1
The rabbit chases the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("rabbit" "chases" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit does not chase the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("rabbit" "chases" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The mouse does not eat the rabbit.
Unknown
inv-random
[@0: The mouse eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "rabbit" "-")
The bald eagle chases the mouse.
Unknown
random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "+")
The bald eagle does not like the mouse.
Unknown
inv-random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The mouse likes the bald eagle.[(triple2)] The rabbit likes the mouse.[(triple3)] @1: The rabbit chases the bald eagle.[(((triple1) -> rule1))] @2: The bald eagle eats the mouse.[(((((triple1) -> rule1)) -> rule2))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple3
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int2