The bald eagle is not nice. The cat does not eat the rabbit. The mouse does not eat the cat. The rabbit is nice. If something eats the cat and it is not nice then it eats the bald eagle. If something likes the rabbit and it is green then it does not like the bald eagle. If something eats the rabbit then it does not like the bald eagle. If something is nice then it eats the rabbit. If something likes the cat and it eats the bald eagle then it likes the rabbit. If something needs the mouse and it is kind then it is green. If something likes the cat then it needs the mouse. If the rabbit does not eat the mouse then the rabbit needs the bald eagle.
The mouse eats the cat.
@0: The bald eagle is not nice.[(triple1)] The cat does not eat the rabbit.[(triple2)] The mouse does not eat the cat.[(triple3)] The rabbit is nice.[(triple4)] @1: The rabbit eats the rabbit.[(((triple4) -> rule4))] @2: The rabbit does not like the bald eagle.[(((((triple4) -> rule4)) -> rule3))]