The bald eagle eats the mouse. The bald eagle eats the rabbit. The bald eagle is nice. The bald eagle likes the mouse. The bald eagle likes the rabbit. The mouse chases the rabbit. The mouse eats the bald eagle. The mouse eats the rabbit. The rabbit eats the bald eagle. The rabbit is green. If someone is round then they chase the bald eagle. If someone is nice then they are green. If someone eats the mouse then the mouse is not big.
The mouse likes the rabbit.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse eats the rabbit.[(triple8)] The rabbit eats the bald eagle.[(triple9)] The rabbit is green.[(triple10)] @1: The bald eagle is green.[(((triple3) -> rule2))] The mouse is not big.[(((triple1) -> rule3))]