The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle is young. The bald eagle likes the mouse. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse is blue. The mouse is young. The mouse likes the bald eagle. The mouse needs the bald eagle. The mouse visits the bald eagle. If someone needs the mouse and they like the mouse then the mouse likes the bald eagle. If the mouse needs the bald eagle then the mouse visits the bald eagle. If someone visits the mouse then they visit the bald eagle.
The bald eagle is not cold.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle needs the mouse.[(triple6)] The bald eagle visits the mouse.[(triple7)] The mouse is blue.[(triple8)] The mouse is young.[(triple9)] The mouse likes the bald eagle.[(triple10 OR ((triple6 triple5) -> rule1))] The mouse needs the bald eagle.[(triple11)] The mouse visits the bald eagle.[(triple12 OR ((triple11) -> rule2))] @1: The bald eagle visits the bald eagle.[(((triple7) -> rule3))]