The bald eagle eats the mouse. The bald eagle is big. The bald eagle is blue. The dog is blue. The lion is not rough. The lion sees the mouse. The mouse needs the dog. If the lion is not rough then the lion is not big.
The bald eagle eats the mouse.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The dog is blue.[(triple4)] The lion is not rough.[(triple5)] The lion sees the mouse.[(triple6)] The mouse needs the dog.[(triple7)] @1: The lion is not big.[(((triple5) -> rule1))]