The dog chases the tiger. The dog eats the mouse. The dog eats the tiger. The dog is green. The dog is rough. The dog likes the lion. The dog likes the mouse. The dog likes the tiger. The lion eats the dog. The lion eats the tiger. The lion likes the tiger. The mouse eats the dog. The mouse likes the dog. The tiger chases the dog. The tiger is rough. The tiger likes the lion. If someone eats the lion then they eat the dog. If the dog is nice then the dog eats the lion. If someone likes the lion then the lion is green.
The lion is not green.
@0: The dog chases the tiger.[(triple1)] The dog eats the mouse.[(triple2)] The dog eats the tiger.[(triple3)] The dog is green.[(triple4)] The dog is rough.[(triple5)] The dog likes the lion.[(triple6)] The dog likes the mouse.[(triple7)] The dog likes the tiger.[(triple8)] The lion eats the dog.[(triple9)] The lion eats the tiger.[(triple10)] The lion likes the tiger.[(triple11)] The mouse eats the dog.[(triple12)] The mouse likes the dog.[(triple13)] The tiger chases the dog.[(triple14)] The tiger is rough.[(triple15)] The tiger likes the lion.[(triple16)] @1: The lion is green.[(((triple16) -> rule3) OR ((triple6) -> rule3))]