The bald eagle visits the rabbit. The mouse is cold. The rabbit visits the bald eagle. If something visits the rabbit then the rabbit eats the mouse. If something is young and it visits the bald eagle then the bald eagle eats the mouse.
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If something visits the rabbit then the rabbit eats the mouse.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "eats" "mouse" "+"))
If something is young and it visits the bald eagle then the bald eagle eats the mouse.
((("something" "is" "young" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
The bald eagle visits the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "visits" "rabbit" "+")
triple1
The mouse is not cold.
False
1
inv-proof
[(triple2)]
("mouse" "is" "cold" "-")
triple2
The rabbit eats the mouse.
True
2
proof
[(((triple1) -> rule1))]
("rabbit" "eats" "mouse" "+")
((triple1) -> (rule1 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit does not eat the mouse.
False
2
inv-proof
[(((triple1) -> rule1))]
("rabbit" "eats" "mouse" "-")
((triple1) -> (rule1 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The bald eagle does not eat the mouse.
Unknown
inv-rconc
[@1: The bald eagle eats the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "mouse" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The bald eagle visits the rabbit.[(triple1)] The mouse is cold.[(triple2)] The rabbit visits the bald eagle.[(triple3)] @1: The rabbit eats the mouse.[(((triple1) -> rule1))]
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple3
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
((triple1) -> (rule1 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1