The bald eagle does not eat the dog. The bald eagle eats the mouse. The bald eagle needs the dog. The bald eagle sees the dog. The dog eats the bald eagle. The dog sees the mouse. The mouse is not round. The mouse needs the dog. The rabbit is nice. The rabbit is not round. The rabbit does not need the mouse. The rabbit sees the mouse. If the dog does not eat the bald eagle then the dog is not young. If someone sees the rabbit then they are not nice. If someone eats the dog and the dog does not eat the mouse then they do not eat the rabbit. If someone eats the rabbit then the rabbit eats the bald eagle. If the bald eagle is round then the bald eagle eats the dog. If someone sees the mouse then the mouse eats the bald eagle. If the rabbit needs the bald eagle and the rabbit sees the dog then the rabbit does not need the mouse. If someone needs the dog then the dog needs the rabbit.
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is not round.
("rabbit" "is" "round" "-")
The rabbit does not need the mouse.
("rabbit" "needs" "mouse" "-")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If the dog does not eat the bald eagle then the dog is not young.
((("dog" "eats" "bald eagle" "~")) -> ("dog" "is" "young" "-"))
If someone sees the rabbit then they are not nice.
((("someone" "sees" "rabbit" "+")) -> ("someone" "is" "nice" "-"))
If someone eats the dog and the dog does not eat the mouse then they do not eat the rabbit.
((("someone" "eats" "dog" "+") ("dog" "eats" "mouse" "~")) -> ("someone" "eats" "rabbit" "-"))
If someone eats the rabbit then the rabbit eats the bald eagle.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
If the bald eagle is round then the bald eagle eats the dog.
((("bald eagle" "is" "round" "+")) -> ("bald eagle" "eats" "dog" "+"))
If someone sees the mouse then the mouse eats the bald eagle.
((("someone" "sees" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If the rabbit needs the bald eagle and the rabbit sees the dog then the rabbit does not need the mouse.
((("rabbit" "needs" "bald eagle" "+") ("rabbit" "sees" "dog" "+")) -> ("rabbit" "needs" "mouse" "-"))
If someone needs the dog then the dog needs the rabbit.
((("someone" "needs" "dog" "+")) -> ("dog" "needs" "rabbit" "+"))
The bald eagle sees the dog.
True
1
proof
[(triple4)]
("bald eagle" "sees" "dog" "+")
triple4
The rabbit is not nice.
False
1
inv-proof
[(triple9)]
("rabbit" "is" "nice" "-")
triple9
The mouse eats the bald eagle.
True
2
proof
[(((triple12) -> rule6) OR ((triple6) -> rule6))]
("mouse" "eats" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
((triple6) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse does not eat the bald eagle.
False
2
inv-proof
[(((triple12) -> rule6) OR ((triple6) -> rule6))]
("mouse" "eats" "bald eagle" "-")
((triple12) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
((triple6) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The rabbit does not eat the bald eagle.
Unknown
inv-rconc
[@1: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "eats" "bald eagle" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The bald eagle does not eat the dog.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle sees the dog.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog sees the mouse.[(triple6)] The mouse is not round.[(triple7)] The mouse needs the dog.[(triple8)] The rabbit does not need the mouse.[(triple11)] The rabbit is nice.[(triple9)] The rabbit is not round.[(triple10)] The rabbit sees the mouse.[(triple12)] @1: The dog needs the rabbit.[(((triple3) -> rule8) OR ((triple8) -> rule8))] The mouse eats the bald eagle.[(((triple12) -> rule6) OR ((triple6) -> rule6))]
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple6
The mouse is not round.
("mouse" "is" "round" "-")
triple7
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple8
The rabbit does not need the mouse.
("rabbit" "needs" "mouse" "-")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
The rabbit is not round.
("rabbit" "is" "round" "-")
triple10
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple12
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
((triple3) -> (rule8 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
((triple8) -> (rule8 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
((triple6) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1