The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle is big. The bald eagle is cold. The bald eagle is kind. The bald eagle is red. The bald eagle likes the mouse. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse is big. The mouse is cold. The mouse likes the bald eagle. If someone likes the bald eagle and they are cold then the bald eagle chases the mouse. If the mouse likes the bald eagle then the mouse is cold. If someone likes the bald eagle then the bald eagle eats the mouse.
The mouse is not young.
@0: The bald eagle chases the mouse.[(triple1 OR ((triple12 triple11) -> rule1) OR ((triple12 ((triple12) -> rule2)) -> rule1))] The bald eagle eats the mouse.[(triple2 OR ((triple12) -> rule3))] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle likes the mouse.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse is big.[(triple10)] The mouse is cold.[(triple11 OR ((triple12) -> rule2))] The mouse likes the bald eagle.[(triple12)]