The bald eagle eats the mouse. The bald eagle needs the dog. The bald eagle needs the tiger. The bald eagle sees the dog. The dog eats the bald eagle. The dog is nice. The dog does not need the tiger. The mouse eats the tiger. The mouse is big. The mouse is green. The mouse sees the dog. The tiger does not need the mouse. If someone eats the mouse then they eat the dog. If someone needs the mouse and they are not nice then the mouse is kind. If the dog needs the mouse and the mouse is kind then the dog eats the tiger. If someone needs the tiger then the tiger does not need the bald eagle. If the bald eagle is not kind and the bald eagle does not eat the dog then the bald eagle is green. If someone is big and green then they do not need the tiger.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The tiger does not need the mouse.
("tiger" "needs" "mouse" "-")
If someone eats the mouse then they eat the dog.
((("someone" "eats" "mouse" "+")) -> ("someone" "eats" "dog" "+"))
If someone needs the mouse and they are not nice then the mouse is kind.
((("someone" "needs" "mouse" "+") ("someone" "is" "nice" "~")) -> ("mouse" "is" "kind" "+"))
If the dog needs the mouse and the mouse is kind then the dog eats the tiger.
((("dog" "needs" "mouse" "+") ("mouse" "is" "kind" "+")) -> ("dog" "eats" "tiger" "+"))
If someone needs the tiger then the tiger does not need the bald eagle.
((("someone" "needs" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "-"))
If the bald eagle is not kind and the bald eagle does not eat the dog then the bald eagle is green.
((("bald eagle" "is" "kind" "~") ("bald eagle" "eats" "dog" "~")) -> ("bald eagle" "is" "green" "+"))
If someone is big and green then they do not need the tiger.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "needs" "tiger" "-"))
The bald eagle needs the dog.
True
1
proof
[(triple2)]
("bald eagle" "needs" "dog" "+")
triple2
The mouse is not big.
False
1
inv-proof
[(triple9)]
("mouse" "is" "big" "-")
triple9
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 needs the bald eagle.
Unknown
random
[@0: The mouse needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bald eagle" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle needs the dog.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle sees the dog.[(triple4)] The dog does not need the tiger.[(triple7)] The dog eats the bald eagle.[(triple5)] The dog is nice.[(triple6)] The mouse eats the tiger.[(triple8)] The mouse is big.[(triple9)] The mouse is green.[(triple10)] The mouse sees the dog.[(triple11)] The tiger does not need the mouse.[(triple12)] @1: The bald eagle eats the dog.[(((triple1) -> rule1))] The mouse does not need the tiger.[(((triple9 triple10) -> rule6))] The tiger does not need the bald eagle.[(((triple3) -> rule4))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
triple7
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple6
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple11
The tiger does not need the mouse.
("tiger" "needs" "mouse" "-")
triple12
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The mouse does not need the tiger.
("mouse" "needs" "tiger" "-")
((triple9 triple10) -> (rule6 % int1))
The mouse does not need the tiger.
("mouse" "needs" "tiger" "-")
int1
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
((triple3) -> (rule4 % int1))
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
int1