The bald eagle is big. The bald eagle sees the rabbit. The mouse is big. The mouse is red. The mouse visits the rabbit. The rabbit is blue. The rabbit visits the bald eagle. If the mouse is cold and the mouse visits the bald eagle then the mouse sees the rabbit. If someone visits the rabbit then the rabbit sees the bald eagle. If someone likes the bald eagle and they are blue then the bald eagle likes the mouse.
The mouse is not big.
@0: The bald eagle is big.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The mouse is big.[(triple3)] The mouse is red.[(triple4)] The mouse visits the rabbit.[(triple5)] The rabbit is blue.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The rabbit sees the bald eagle.[(((triple5) -> rule2))]