The bear chases the mouse. The bear is green. The bear needs the mouse. The mouse chases the bear. The mouse needs the rabbit. The mouse needs the tiger. The rabbit chases the bear. The rabbit needs the bear. The tiger needs the rabbit. The tiger sees the mouse. If the tiger is green and the tiger chases the mouse then the mouse sees the bear. If someone is green then they need the mouse.
The rabbit needs the bear.
@0: The bear chases the mouse.[(triple1)] The bear is green.[(triple2)] The bear needs the mouse.[(triple3 OR ((triple2) -> rule2))] The mouse chases the bear.[(triple4)] The mouse needs the rabbit.[(triple5)] The mouse needs the tiger.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit needs the bear.[(triple8)] The tiger needs the rabbit.[(triple9)] The tiger sees the mouse.[(triple10)]