The bald eagle is big. The bald eagle likes the tiger. The bald eagle sees the rabbit. The dog is blue. The dog likes the bald eagle. The rabbit eats the bald eagle. The rabbit eats the dog. The rabbit eats the tiger. The rabbit likes the bald eagle. The rabbit does not see the dog. The tiger eats the dog. The tiger is big. The tiger is kind. The tiger likes the bald eagle. The tiger likes the dog. The tiger sees the dog. If the rabbit likes the tiger and the rabbit sees the tiger then the tiger sees the rabbit. If the rabbit sees the dog then the dog does not like the tiger. If something is kind and it sees the rabbit then the rabbit does not eat the bald eagle. If something eats the tiger then it is rough. If something is rough and it sees the rabbit then the rabbit is not kind. If something eats the bald eagle and it does not see the tiger then the tiger sees the dog. If the dog eats the bald eagle then the bald eagle does not eat the tiger. If the tiger sees the bald eagle and the tiger is not rough then the bald eagle likes the dog.
The rabbit does not eat the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The dog is blue.[(triple4)] The dog likes the bald eagle.[(triple5)] The rabbit does not see the dog.[(triple10)] The rabbit eats the bald eagle.[(triple6)] The rabbit eats the dog.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The tiger eats the dog.[(triple11)] The tiger is big.[(triple12)] The tiger is kind.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger likes the dog.[(triple15)] The tiger sees the dog.[(triple16)] @1: The rabbit is rough.[(((triple8) -> rule4))]