The bald eagle visits the mouse. The mouse eats the bald eagle. The mouse does not eat the rabbit. The mouse is not nice. The mouse visits the bald eagle. The rabbit does not see the bald eagle. The rabbit visits the bald eagle. If something eats the mouse then the mouse is kind. If the bald eagle eats the mouse then the bald eagle does not eat the rabbit. If the mouse sees the bald eagle and the bald eagle visits the mouse then the mouse is rough. If something eats the rabbit and it does not visit the mouse then the rabbit sees the mouse. If something visits the bald eagle then the bald eagle eats the mouse. If the mouse eats the rabbit and the rabbit sees the bald eagle then the mouse eats the bald eagle. If something sees the bald eagle and it is not round then it visits the rabbit. If something sees the bald eagle then the bald eagle visits the rabbit.
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
The mouse is not nice.
("mouse" "is" "nice" "-")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The rabbit does not see the bald eagle.
("rabbit" "sees" "bald eagle" "-")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If something eats the mouse then the mouse is kind.
((("something" "eats" "mouse" "+")) -> ("mouse" "is" "kind" "+"))
If the bald eagle eats the mouse then the bald eagle does not eat the rabbit.
((("bald eagle" "eats" "mouse" "+")) -> ("bald eagle" "eats" "rabbit" "-"))
If the mouse sees the bald eagle and the bald eagle visits the mouse then the mouse is rough.
((("mouse" "sees" "bald eagle" "+") ("bald eagle" "visits" "mouse" "+")) -> ("mouse" "is" "rough" "+"))
If something eats the rabbit and it does not visit the mouse then the rabbit sees the mouse.
((("something" "eats" "rabbit" "+") ("something" "visits" "mouse" "~")) -> ("rabbit" "sees" "mouse" "+"))
If something visits the bald eagle then the bald eagle eats the mouse.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If the mouse eats the rabbit and the rabbit sees the bald eagle then the mouse eats the bald eagle.
((("mouse" "eats" "rabbit" "+") ("rabbit" "sees" "bald eagle" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If something sees the bald eagle and it is not round then it visits the rabbit.
((("something" "sees" "bald eagle" "+") ("something" "is" "round" "~")) -> ("something" "visits" "rabbit" "+"))
If something sees the bald eagle then the bald eagle visits the rabbit.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "visits" "rabbit" "+"))
The rabbit does not see the bald eagle.
True
1
proof
[(triple6)]
("rabbit" "sees" "bald eagle" "-")
triple6
The rabbit does not visit the bald eagle.
False
1
inv-proof
[(triple7)]
("rabbit" "visits" "bald eagle" "-")
triple7
The bald eagle eats the mouse.
True
2
proof
[(((triple5) -> rule5) OR ((triple7) -> rule5))]
("bald eagle" "eats" "mouse" "+")
((triple5) -> (rule5 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
((triple7) -> (rule5 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle does not eat the mouse.
False
2
inv-proof
[(((triple5) -> rule5) OR ((triple7) -> rule5))]
("bald eagle" "eats" "mouse" "-")
((triple5) -> (rule5 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
((triple7) -> (rule5 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The rabbit does not visit the rabbit.
Unknown
inv-rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "visits" "rabbit" "-")
The bald eagle visits the rabbit.
Unknown
rconc
[@1: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "visits" "rabbit" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle visits the mouse.[(triple1)] The mouse does not eat the rabbit.[(triple3)] The mouse eats the bald eagle.[(triple2)] The mouse is not nice.[(triple4)] The mouse visits the bald eagle.[(triple5)] The rabbit does not see the bald eagle.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The bald eagle eats the mouse.[(((triple5) -> rule5) OR ((triple7) -> rule5))] @2: The bald eagle does not eat the rabbit.[(((((triple5) -> rule5)) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] The mouse is kind.[(((((triple5) -> rule5)) -> rule1) OR ((((triple7) -> rule5)) -> rule1))]
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple1
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
triple3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple2
The mouse is not nice.
("mouse" "is" "nice" "-")
triple4
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple5
The rabbit does not see the bald eagle.
("rabbit" "sees" "bald eagle" "-")
triple6
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple7
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((triple5) -> (rule5 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
((triple7) -> (rule5 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
((((triple5) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
((((triple5) -> (rule5 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2