The bald eagle needs the rabbit. The bald eagle needs the tiger. The mouse chases the tiger. The rabbit needs the tiger. The tiger is not big. The tiger is green. The tiger needs the mouse. If someone chases the rabbit then the rabbit eats the tiger. If someone is green and they do not eat the bald eagle then the bald eagle chases the mouse. If someone needs the rabbit then the rabbit is red. If someone is kind and they do not need the bald eagle then the bald eagle does not eat the rabbit. If someone needs the bald eagle and the bald eagle eats the mouse then they eat the tiger. If the rabbit chases the tiger and the tiger is not cold then the tiger eats the mouse.
The mouse does not eat the tiger.
@0: The bald eagle needs the rabbit.[(triple1)] The bald eagle needs the tiger.[(triple2)] The mouse chases the tiger.[(triple3)] The rabbit needs the tiger.[(triple4)] The tiger is green.[(triple6)] The tiger is not big.[(triple5)] The tiger needs the mouse.[(triple7)] @1: The rabbit is red.[(((triple1) -> rule3))]