The bald eagle chases the tiger. The bald eagle eats the tiger. The mouse chases the bald eagle. The rabbit chases the bald eagle. The rabbit does not chase the mouse. The rabbit eats the mouse. The rabbit is blue. The tiger chases the bald eagle. The tiger chases the mouse. The tiger is blue. The tiger is cold. The tiger is not rough. If someone eats the tiger and they do not need the bald eagle then the bald eagle chases the mouse. If someone chases the mouse then the mouse does not chase the tiger.
The mouse does not chase the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The mouse chases the bald eagle.[(triple3)] The rabbit chases the bald eagle.[(triple4)] The rabbit does not chase the mouse.[(triple5)] The rabbit eats the mouse.[(triple6)] The rabbit is blue.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is not rough.[(triple12)] @1: The mouse does not chase the tiger.[(((triple9) -> rule2))]