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