The bald eagle eats the mouse. The bald eagle eats the rabbit. The bald eagle is kind. The bald eagle is rough. The mouse is nice. The mouse sees the bald eagle. The mouse sees the rabbit. The rabbit eats the bald eagle. The rabbit eats the mouse. The rabbit is big. The rabbit is cold. The rabbit needs the bald eagle. If someone is big then they need the bald eagle.
The bald eagle is not kind.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4)] The mouse is nice.[(triple5)] The mouse sees the bald eagle.[(triple6)] The mouse sees the rabbit.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit is big.[(triple10)] The rabbit is cold.[(triple11)] The rabbit needs the bald eagle.[(triple12 OR ((triple10) -> rule1))]