The bald eagle is blue. The bald eagle is kind. The bald eagle likes the mouse. The bald eagle sees the mouse. The mouse is not green. The mouse needs the bald eagle. The mouse sees the bald eagle. If someone sees the mouse then the mouse needs the bald eagle. If the bald eagle sees the mouse and the mouse is not cold then the mouse needs the bald eagle. If someone is green and they need the mouse then the mouse needs the bald eagle. If someone likes the bald eagle and they like the mouse then the mouse is not blue. If someone is kind then they see the bald eagle. If someone sees the bald eagle and they like the mouse then they like the bald eagle.
The mouse is not young.
@0: The bald eagle is blue.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle sees the mouse.[(triple4)] The mouse is not green.[(triple5)] The mouse needs the bald eagle.[(triple6 OR ((triple4) -> rule1))] The mouse sees the bald eagle.[(triple7)] @1: The bald eagle sees the bald eagle.[(((triple2) -> rule5))] @2: The bald eagle likes the bald eagle.[(((((triple2) -> rule5) triple3) -> rule6))] @3: The mouse is not blue.[(((((((triple2) -> rule5) triple3) -> rule6) triple3) -> rule4))]