The bald eagle is blue. The bald eagle needs the tiger. The lion eats the bald eagle. The lion eats the mouse. The lion is green. The lion likes the tiger. The mouse eats the bald eagle. The mouse is rough. The mouse likes the lion. The mouse likes the tiger. The mouse needs the bald eagle. The tiger is cold. The tiger is nice. The tiger is rough. The tiger needs the lion. If the bald eagle likes the mouse then the bald eagle is cold. If the tiger likes the lion and the lion needs the mouse then the mouse is nice. If someone is green then they like the mouse. If someone likes the mouse then they need the tiger. If someone likes the mouse then the mouse is blue. If someone needs the mouse and the mouse needs the lion then the mouse needs the tiger.
The tiger needs the lion.
@0: The bald eagle is blue.[(triple1)] The bald eagle needs the tiger.[(triple2)] The lion eats the bald eagle.[(triple3)] The lion eats the mouse.[(triple4)] The lion is green.[(triple5)] The lion likes the tiger.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse is rough.[(triple8)] The mouse likes the lion.[(triple9)] The mouse likes the tiger.[(triple10)] The mouse needs the bald eagle.[(triple11)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the lion.[(triple15)] @1: The lion likes the mouse.[(((triple5) -> rule3))] @2: The lion needs the tiger.[(((((triple5) -> rule3)) -> rule4))] The mouse is blue.[(((((triple5) -> rule3)) -> rule5))]