The bald eagle is green. The bald eagle sees the mouse. The mouse is big. The mouse is green. The mouse is red. The mouse sees the tiger. The tiger is green. The tiger is rough. The tiger needs the bald eagle. The tiger sees the bald eagle. The tiger sees the mouse. The tiger visits the bald eagle. If someone is rough then they visit the bald eagle.
The tiger does not visit the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle sees the mouse.[(triple2)] The mouse is big.[(triple3)] The mouse is green.[(triple4)] The mouse is red.[(triple5)] The mouse sees the tiger.[(triple6)] The tiger is green.[(triple7)] The tiger is rough.[(triple8)] The tiger needs the bald eagle.[(triple9)] The tiger sees the bald eagle.[(triple10)] The tiger sees the mouse.[(triple11)] The tiger visits the bald eagle.[(triple12 OR ((triple8) -> rule1))]