The bald eagle is big. The cat eats the mouse. The cat eats the rabbit. The mouse eats the bald eagle. The mouse is big. The mouse likes the bald eagle. The mouse likes the cat. The rabbit chases the bald eagle. The rabbit is nice. The rabbit likes the mouse. If something is big then it eats the mouse. If the rabbit likes the mouse and the mouse eats the rabbit then the rabbit likes the bald eagle. If something eats the rabbit then it likes the rabbit. If something eats the rabbit then it likes the cat. If the bald eagle likes the cat and the bald eagle chases the rabbit then the bald eagle eats the rabbit. If something is green then it likes the rabbit. If the cat chases the bald eagle then the bald eagle eats the mouse. If something is green then it chases the rabbit.
The mouse likes the cat.
@0: The bald eagle is big.[(triple1)] The cat eats the mouse.[(triple2)] The cat eats the rabbit.[(triple3)] The mouse eats the bald eagle.[(triple4)] The mouse is big.[(triple5)] The mouse likes the bald eagle.[(triple6)] The mouse likes the cat.[(triple7)] The rabbit chases the bald eagle.[(triple8)] The rabbit is nice.[(triple9)] The rabbit likes the mouse.[(triple10)] @1: The bald eagle eats the mouse.[(((triple1) -> rule1))] The cat likes the cat.[(((triple3) -> rule4))] The cat likes the rabbit.[(((triple3) -> rule3))] The mouse eats the mouse.[(((triple5) -> rule1))]