The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is nice. The bald eagle needs the mouse. The bald eagle needs the rabbit. The bald eagle does not visit the mouse. The mouse chases the bald eagle. The mouse chases the tiger. The mouse is not big. The mouse needs the bald eagle. The mouse visits the bald eagle. The rabbit is big. The rabbit needs the mouse. The rabbit needs the tiger. The tiger is not blue. The tiger is not nice. If someone chases the bald eagle then they visit the tiger. If someone chases the mouse and they are not nice then they are big. If someone chases the bald eagle and they are not nice then the bald eagle needs the tiger. If the tiger chases the rabbit and the tiger needs the bald eagle then the bald eagle needs the tiger. If someone needs the bald eagle then the bald eagle needs the rabbit. If someone visits the tiger and they need the bald eagle then the bald eagle visits the rabbit. If someone is nice then they need the rabbit. If someone chases the rabbit and they do not need the bald eagle then they do not visit the bald eagle.
The tiger is nice.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not visit the mouse.[(triple6)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle needs the rabbit.[(triple5 OR ((triple10) -> rule5) OR ((triple3) -> rule7))] The mouse chases the bald eagle.[(triple7)] The mouse chases the tiger.[(triple8)] The mouse is not big.[(triple9)] The mouse needs the bald eagle.[(triple10)] The mouse visits the bald eagle.[(triple11)] The rabbit is big.[(triple12)] The rabbit needs the mouse.[(triple13)] The rabbit needs the tiger.[(triple14)] The tiger is not blue.[(triple15)] The tiger is not nice.[(triple16)] @1: The mouse visits the tiger.[(((triple7) -> rule1))] @2: The bald eagle visits the rabbit.[(((((triple7) -> rule1) triple10) -> rule6))]