The bald eagle eats the rabbit. The rabbit visits the squirrel. The squirrel is nice. If something visits the squirrel then the squirrel is kind. If something visits the rabbit and it likes the squirrel then it is kind. If something is blue and kind then it visits the bald eagle. If something visits the bald eagle and the bald eagle is big then it visits the rabbit. If the rabbit is nice then the rabbit eats the squirrel. If something likes the rabbit then the rabbit is nice. If the bald eagle is big and the bald eagle likes the squirrel then the squirrel eats the rabbit. If something likes the bald eagle and the bald eagle visits the rabbit then the rabbit eats the bald eagle.
The squirrel is not nice.
@0: The bald eagle eats the rabbit.[(triple1)] The rabbit visits the squirrel.[(triple2)] The squirrel is nice.[(triple3)] @1: The squirrel is kind.[(((triple2) -> rule1))]