The bald eagle eats the mouse. The bald eagle eats the rabbit. The bald eagle likes the mouse. The bald eagle likes the rabbit. The bald eagle sees the mouse. The bald eagle sees the rabbit. The mouse eats the bald eagle. The mouse is blue. The mouse is young. The mouse likes the bald eagle. The mouse sees the bald eagle. The rabbit eats the mouse. The rabbit is big. The rabbit is blue. The rabbit sees the mouse. If something eats the rabbit then it likes the bald eagle. If something likes the bald eagle and it sees the mouse then it is green. If something sees the rabbit and the rabbit is green then the rabbit eats the bald eagle.
The mouse is big.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bald eagle sees the mouse.[(triple5)] The bald eagle sees the rabbit.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse is blue.[(triple8)] The mouse is young.[(triple9)] The mouse likes the bald eagle.[(triple10)] The mouse sees the bald eagle.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is big.[(triple13)] The rabbit is blue.[(triple14)] The rabbit sees the mouse.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple2) -> rule1))] @2: The bald eagle is green.[(((((triple2) -> rule1) triple5) -> rule2))]