The bald eagle needs the mouse. The mouse visits the bald eagle. The rabbit is big. The rabbit is cold. The rabbit needs the mouse. The rabbit sees the bald eagle. The rabbit visits the mouse. If the mouse needs the rabbit then the mouse is kind. If someone is blue then they are cold. If someone visits the bald eagle and the bald eagle visits the rabbit then they visit the mouse. If the mouse is rough then the mouse visits the bald eagle. If someone visits the bald eagle then they need the rabbit. If someone visits the rabbit and they see the bald eagle then they are cold. If someone is kind then they visit the rabbit. If the mouse is kind and the mouse needs the rabbit then the mouse visits the rabbit.
The bald eagle needs the rabbit.
@0: The bald eagle needs the mouse.[(triple1)] The mouse visits the bald eagle.[(triple2)] The rabbit is big.[(triple3)] The rabbit is cold.[(triple4)] The rabbit needs the mouse.[(triple5)] The rabbit sees the bald eagle.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The mouse needs the rabbit.[(((triple2) -> rule5))] @2: The mouse is kind.[(((((triple2) -> rule5)) -> rule1))] @3: The mouse visits the rabbit.[(((((((triple2) -> rule5)) -> rule1)) -> rule7) OR ((((((triple2) -> rule5)) -> rule1) ((triple2) -> rule5)) -> rule8))]