The bald eagle is green. The bald eagle is rough. The bald eagle is young. The bald eagle likes the mouse. The bald eagle likes the rabbit. The bald eagle does not see the mouse. The mouse chases the rabbit. The mouse is not kind. The mouse likes the bald eagle. The mouse likes the rabbit. The mouse sees the bald eagle. The rabbit chases the bald eagle. The rabbit chases the mouse. The rabbit is green. The rabbit likes the mouse. The rabbit sees the bald eagle. If someone is red then they like the bald eagle. If someone sees the bald eagle and the bald eagle sees the mouse then they do not chase the mouse. If the mouse is not kind then the mouse is rough. If someone chases the bald eagle then they are red. If someone likes the bald eagle then they are not young. If someone is kind and they chase the mouse then they are not young. If the mouse likes the rabbit and the rabbit sees the mouse then the mouse sees the bald eagle. If someone sees the bald eagle and the bald eagle does not chase the mouse then the bald eagle is young.
The rabbit likes the rabbit.
@0: The bald eagle does not see the mouse.[(triple6)] The bald eagle is green.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The mouse chases the rabbit.[(triple7)] The mouse is not kind.[(triple8)] The mouse likes the bald eagle.[(triple9)] The mouse likes the rabbit.[(triple10)] The mouse sees the bald eagle.[(triple11)] The rabbit chases the bald eagle.[(triple12)] The rabbit chases the mouse.[(triple13)] The rabbit is green.[(triple14)] The rabbit likes the mouse.[(triple15)] The rabbit sees the bald eagle.[(triple16)] @1: The mouse is not young.[(((triple9) -> rule5))] The mouse is rough.[(((triple8) -> rule3))] The rabbit is red.[(((triple12) -> rule4))] @2: The rabbit likes the bald eagle.[(((((triple12) -> rule4)) -> rule1))] @3: The rabbit is not young.[(((((((triple12) -> rule4)) -> rule1)) -> rule5))]