The bald eagle is green. The bald eagle is rough. The bald eagle needs the bear. The bear eats the mouse. The bear eats the tiger. The bear needs the mouse. The mouse eats the tiger. The mouse is green. The tiger eats the mouse. The tiger is blue. The tiger is rough. The tiger likes the bald eagle. The tiger likes the bear. The tiger needs the bear. The tiger needs the mouse. If someone eats the mouse then the mouse likes the tiger. If someone likes the tiger then the tiger likes the mouse. If the bald eagle is green then the bald eagle likes the bear.
The bear eats the mouse.
@0: The bald eagle is green.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear eats the mouse.[(triple4)] The bear eats the tiger.[(triple5)] The bear needs the mouse.[(triple6)] The mouse eats the tiger.[(triple7)] The mouse is green.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is blue.[(triple10)] The tiger is rough.[(triple11)] The tiger likes the bald eagle.[(triple12)] The tiger likes the bear.[(triple13)] The tiger needs the bear.[(triple14)] The tiger needs the mouse.[(triple15)] @1: The bald eagle likes the bear.[(((triple1) -> rule3))] The mouse likes the tiger.[(((triple4) -> rule1) OR ((triple9) -> rule1))] @2: The tiger likes the mouse.[(((((triple4) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]