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