The dog eats the lion. The dog eats the mouse. The dog is rough. The dog visits the lion. The lion is not round. The lion is young. The mouse eats the tiger. The tiger is big. The tiger is not round. The tiger needs the mouse. If something eats the tiger then the tiger needs the lion. If something needs the dog and the dog visits the lion then it is not big. If the dog does not need the tiger then the tiger is big.
The tiger is young.
@0: The dog eats the lion.[(triple1)] The dog eats the mouse.[(triple2)] The dog is rough.[(triple3)] The dog visits the lion.[(triple4)] The lion is not round.[(triple5)] The lion is young.[(triple6)] The mouse eats the tiger.[(triple7)] The tiger is big.[(triple8)] The tiger is not round.[(triple9)] The tiger needs the mouse.[(triple10)] @1: The tiger needs the lion.[(((triple7) -> rule1))]