The bald eagle does not like the rabbit. The bald eagle needs the cat. The bald eagle needs the mouse. The bald eagle visits the rabbit. The cat does not need the bald eagle. The mouse is big. The mouse is not round. The mouse does not visit the cat. The mouse visits the rabbit. The rabbit needs the bald eagle. If someone likes the rabbit then the rabbit does not like the cat. If the mouse likes the cat then the mouse needs the bald eagle. If the cat is big and the cat does not like the mouse then the mouse needs the bald eagle. If the rabbit is big then the rabbit does not like the bald eagle. If the mouse is young and the mouse is nice then the mouse likes the bald eagle. If the bald eagle is nice then the bald eagle does not like the cat. If the rabbit needs the mouse and the rabbit visits the cat then the mouse visits the rabbit. If someone visits the rabbit and they do not need the bald eagle then the bald eagle needs the mouse.
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If someone likes the rabbit then the rabbit does not like the cat.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "likes" "cat" "-"))
If the mouse likes the cat then the mouse needs the bald eagle.
((("mouse" "likes" "cat" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If the cat is big and the cat does not like the mouse then the mouse needs the bald eagle.
((("cat" "is" "big" "+") ("cat" "likes" "mouse" "~")) -> ("mouse" "needs" "bald eagle" "+"))
If the rabbit is big then the rabbit does not like the bald eagle.
((("rabbit" "is" "big" "+")) -> ("rabbit" "likes" "bald eagle" "-"))
If the mouse is young and the mouse is nice then the mouse likes the bald eagle.
((("mouse" "is" "young" "+") ("mouse" "is" "nice" "+")) -> ("mouse" "likes" "bald eagle" "+"))
If the bald eagle is nice then the bald eagle does not like the cat.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "likes" "cat" "-"))
If the rabbit needs the mouse and the rabbit visits the cat then the mouse visits the rabbit.
((("rabbit" "needs" "mouse" "+") ("rabbit" "visits" "cat" "+")) -> ("mouse" "visits" "rabbit" "+"))
If someone visits the rabbit and they do not need the bald eagle then the bald eagle needs the mouse.
((("someone" "visits" "rabbit" "+") ("someone" "needs" "bald eagle" "~")) -> ("bald eagle" "needs" "mouse" "+"))
The mouse is not round.
True
1
proof
[(triple7)]
("mouse" "is" "round" "-")
triple7
The rabbit does not need the bald eagle.
False
1
inv-proof
[(triple10)]
("rabbit" "needs" "bald eagle" "-")
triple10
The mouse does not like the bald eagle.
Unknown
inv-rconc
[@1: The mouse likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "likes" "bald eagle" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle does not like the rabbit.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The cat does not need the bald eagle.[(triple5)] The mouse does not visit the cat.[(triple8)] The mouse is big.[(triple6)] The mouse is not round.[(triple7)] The mouse visits the rabbit.[(triple9)] The rabbit needs the bald eagle.[(triple10)]
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple4
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
triple5
The mouse does not visit the cat.
("mouse" "visits" "cat" "-")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse is not round.
("mouse" "is" "round" "-")
triple7
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple9
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple10