The bald eagle eats the tiger. The bald eagle is kind. The cat visits the bald eagle. The cat visits the mouse. The mouse is nice. The mouse visits the cat. The tiger does not like the bald eagle. If someone eats the cat and they do not eat the bald eagle then the cat visits the bald eagle. If someone is kind then they like the cat. If someone likes the bald eagle then they do not like the cat. If the mouse eats the bald eagle then the mouse is blue. If someone likes the tiger then they do not like the mouse. If someone eats the tiger and they are not blue then the tiger likes the cat.
The mouse is nice.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is kind.[(triple2)] The cat visits the bald eagle.[(triple3)] The cat visits the mouse.[(triple4)] The mouse is nice.[(triple5)] The mouse visits the cat.[(triple6)] The tiger does not like the bald eagle.[(triple7)] @1: The bald eagle likes the cat.[(((triple2) -> rule2))]