The bald eagle eats the rabbit. The bald eagle is nice. The bald eagle is not rough. The bald eagle is not young. The bald eagle likes the cat. The bald eagle does not like the mouse. The bald eagle likes the rabbit. The bald eagle needs the mouse. The cat eats the mouse. The cat needs the rabbit. The mouse is not nice. The rabbit eats the cat. The rabbit is rough. The rabbit likes the mouse. The rabbit needs the cat. If someone needs the cat then the cat does not like the mouse. If someone eats the mouse and the mouse does not like the rabbit then the mouse eats the rabbit. If the cat needs the mouse and the cat eats the bald eagle then the bald eagle does not eat the rabbit. If someone eats the rabbit then the rabbit likes the cat. If someone needs the bald eagle and they do not need the rabbit then they are young. If someone is cold then they do not need the cat. If someone likes the bald eagle and they need the bald eagle then they eat the rabbit. If someone likes the mouse then the mouse is young.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The mouse is not nice.
("mouse" "is" "nice" "-")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If someone needs the cat then the cat does not like the mouse.
((("someone" "needs" "cat" "+")) -> ("cat" "likes" "mouse" "-"))
If someone eats the mouse and the mouse does not like the rabbit then the mouse eats the rabbit.
((("someone" "eats" "mouse" "+") ("mouse" "likes" "rabbit" "~")) -> ("mouse" "eats" "rabbit" "+"))
If the cat needs the mouse and the cat eats the bald eagle then the bald eagle does not eat the rabbit.
((("cat" "needs" "mouse" "+") ("cat" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "-"))
If someone eats the rabbit then the rabbit likes the cat.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "likes" "cat" "+"))
If someone needs the bald eagle and they do not need the rabbit then they are young.
((("someone" "needs" "bald eagle" "+") ("someone" "needs" "rabbit" "~")) -> ("someone" "is" "young" "+"))
If someone is cold then they do not need the cat.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "cat" "-"))
If someone likes the bald eagle and they need the bald eagle then they eat the rabbit.
((("someone" "likes" "bald eagle" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone likes the mouse then the mouse is young.
((("someone" "likes" "mouse" "+")) -> ("mouse" "is" "young" "+"))
The bald eagle likes the cat.
True
1
proof
[(triple5)]
("bald eagle" "likes" "cat" "+")
triple5
The bald eagle likes the mouse.
False
1
inv-proof
[(triple6)]
("bald eagle" "likes" "mouse" "+")
triple6
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "young" "-")
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 does not like the mouse.[(triple6)] The bald eagle eats the rabbit.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is not rough.[(triple3)] The bald eagle is not young.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle likes the rabbit.[(triple7)] The bald eagle needs the mouse.[(triple8)] The cat eats the mouse.[(triple9)] The cat needs the rabbit.[(triple10)] The mouse is not nice.[(triple11)] The rabbit eats the cat.[(triple12)] The rabbit is rough.[(triple13)] The rabbit likes the mouse.[(triple14)] The rabbit needs the cat.[(triple15)] @1: The cat does not like the mouse.[(((triple15) -> rule1))] The mouse is young.[(((triple14) -> rule8))] The rabbit likes the cat.[(((triple1) -> rule4))]
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
triple6
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple3
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple4
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple7
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple8
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple9
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple10
The mouse is not nice.
("mouse" "is" "nice" "-")
triple11
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple12
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple13
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple14
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple15
The cat does not like the mouse.
("cat" "likes" "mouse" "-")
((triple15) -> (rule1 % int1))
The cat does not like the mouse.
("cat" "likes" "mouse" "-")
int1
The mouse is young.
("mouse" "is" "young" "+")
((triple14) -> (rule8 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
((triple1) -> (rule4 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1