The bald eagle is blue. The bald eagle is rough. The mouse is nice. The mouse is young. The mouse sees the bald eagle. The mouse visits the rabbit. The rabbit does not chase the bald eagle. The rabbit is not rough. The rabbit does not visit the bald eagle. The rabbit visits the mouse. If someone sees the bald eagle and they visit the rabbit then they are not round. If the mouse sees the rabbit and the rabbit chases the mouse then the mouse is not nice. If the mouse visits the bald eagle and the mouse chases the bald eagle then the mouse does not visit the rabbit. If someone sees the mouse then the mouse is round. If someone sees the mouse and the mouse does not chase the rabbit then the mouse is round. If someone is young and they visit the rabbit then the rabbit sees the bald eagle. If someone sees the mouse then the mouse sees the rabbit. If someone chases the rabbit and they are not nice then the rabbit is not rough.
The bald eagle is blue.
@0: The bald eagle is blue.[(triple1)] The bald eagle is rough.[(triple2)] The mouse is nice.[(triple3)] The mouse is young.[(triple4)] The mouse sees the bald eagle.[(triple5)] The mouse visits the rabbit.[(triple6)] The rabbit does not chase the bald eagle.[(triple7)] The rabbit does not visit the bald eagle.[(triple9)] The rabbit is not rough.[(triple8)] The rabbit visits the mouse.[(triple10)] @1: The mouse is not round.[(((triple5 triple6) -> rule1))] The rabbit sees the bald eagle.[(((triple4 triple6) -> rule6))]