The bald eagle eats the tiger. The bald eagle is not rough. The bald eagle sees the tiger. The rabbit chases the bald eagle. The rabbit eats the tiger. The rabbit is big. The rabbit is blue. The rabbit sees the tiger. The tiger chases the bald eagle. The tiger chases the rabbit. The tiger does not eat the bald eagle. The tiger is not big. The tiger is blue. The tiger is red. The tiger is not rough. The tiger sees the bald eagle. If someone eats the bald eagle then they see the rabbit. If the rabbit eats the tiger then the rabbit is kind. If someone sees the bald eagle and they are rough then they see the tiger.
The tiger does not chase the bald eagle.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is not rough.[(triple2)] The bald eagle sees the tiger.[(triple3)] The rabbit chases the bald eagle.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit is big.[(triple6)] The rabbit is blue.[(triple7)] The rabbit sees the tiger.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the rabbit.[(triple10)] The tiger does not eat the bald eagle.[(triple11)] The tiger is blue.[(triple13)] The tiger is not big.[(triple12)] The tiger is not rough.[(triple15)] The tiger is red.[(triple14)] The tiger sees the bald eagle.[(triple16)] @1: The rabbit is kind.[(((triple5) -> rule2))]