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