The bald eagle eats the dog. The dog is big. The dog is young. The mouse is not nice. The mouse sees the rabbit. The rabbit sees the dog. The rabbit visits the mouse. If someone is young then they see the dog. If someone eats the mouse then the mouse does not eat the rabbit. If the mouse eats the bald eagle then the mouse eats the rabbit. If the mouse eats the rabbit then the rabbit visits the dog. If the bald eagle eats the mouse then the bald eagle is rough. If someone visits the mouse then they see the mouse. If the rabbit sees the mouse then the mouse does not eat the dog. If someone visits the dog then they are not rough.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is young.
("dog" "is" "young" "+")
The mouse is not nice.
("mouse" "is" "nice" "-")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone is young then they see the dog.
((("someone" "is" "young" "+")) -> ("someone" "sees" "dog" "+"))
If someone eats the mouse then the mouse does not eat the rabbit.
((("someone" "eats" "mouse" "+")) -> ("mouse" "eats" "rabbit" "-"))
If the mouse eats the bald eagle then the mouse eats the rabbit.
((("mouse" "eats" "bald eagle" "+")) -> ("mouse" "eats" "rabbit" "+"))
If the mouse eats the rabbit then the rabbit visits the dog.
((("mouse" "eats" "rabbit" "+")) -> ("rabbit" "visits" "dog" "+"))
If the bald eagle eats the mouse then the bald eagle is rough.
((("bald eagle" "eats" "mouse" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone visits the mouse then they see the mouse.
((("someone" "visits" "mouse" "+")) -> ("someone" "sees" "mouse" "+"))
If the rabbit sees the mouse then the mouse does not eat the dog.
((("rabbit" "sees" "mouse" "+")) -> ("mouse" "eats" "dog" "-"))
If someone visits the dog then they are not rough.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "rough" "-"))
The rabbit sees the dog.
True
1
proof
[(triple6)]
("rabbit" "sees" "dog" "+")
triple6
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "dog" "-")
triple1
The rabbit sees the mouse.
True
2
proof
[(((triple7) -> rule6))]
("rabbit" "sees" "mouse" "+")
((triple7) -> (rule6 % int1))
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int1
The dog does not see the dog.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "sees" "dog" "-")
((triple3) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The mouse does not eat the dog.
True
3
proof
[(((((triple7) -> rule6)) -> rule7))]
("mouse" "eats" "dog" "-")
((((triple7) -> (rule6 % int2))) -> (rule7 % int1))
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
int1
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int2
The mouse eats the dog.
False
3
inv-proof
[(((((triple7) -> rule6)) -> rule7))]
("mouse" "eats" "dog" "+")
((((triple7) -> (rule6 % int2))) -> (rule7 % int1))
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
int1
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int2
The rabbit does not visit the dog.
Unknown
inv-rconc
[@2: The rabbit visits the dog.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("rabbit" "visits" "dog" "-")
The mouse sees the dog.
Unknown
rconc
[@1: The mouse sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "dog" "+")
The bald eagle does not see the dog.
Unknown
inv-rconc
[@1: The bald eagle sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "dog" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
The bald eagle does not visit the rabbit.
Unknown
inv-random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "-")
The bald eagle visits the mouse.
Unknown
random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "+")
@0: The bald eagle eats the dog.[(triple1)] The dog is big.[(triple2)] The dog is young.[(triple3)] The mouse is not nice.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit sees the dog.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The dog sees the dog.[(((triple3) -> rule1))] The rabbit sees the mouse.[(((triple7) -> rule6))] @2: The mouse does not eat the dog.[(((((triple7) -> rule6)) -> rule7))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The mouse is not nice.
("mouse" "is" "nice" "-")
triple4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple5
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple6
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple7
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple3) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
((triple7) -> (rule6 % int1))
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int1
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
((((triple7) -> (rule6 % int2))) -> (rule7 % int1))
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
int1
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int2