The mouse chases the tiger. The mouse is green. The mouse needs the tiger. The mouse sees the rabbit. The rabbit chases the mouse. The rabbit chases the tiger. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit needs the mouse. The rabbit needs the tiger. The rabbit sees the tiger. The tiger chases the mouse. The tiger is nice. The tiger needs the mouse. The tiger sees the mouse. If something sees the mouse then it sees the rabbit.
The rabbit does not see the rabbit.
@0: The mouse chases the tiger.[(triple1)] The mouse is green.[(triple2)] The mouse needs the tiger.[(triple3)] The mouse sees the rabbit.[(triple4)] The rabbit chases the mouse.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is red.[(triple9)] The rabbit needs the mouse.[(triple10)] The rabbit needs the tiger.[(triple11)] The rabbit sees the tiger.[(triple12)] The tiger chases the mouse.[(triple13)] The tiger is nice.[(triple14)] The tiger needs the mouse.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The tiger sees the rabbit.[(((triple16) -> rule1))]