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