The lion does not chase the rabbit. The lion chases the tiger. The lion does not like the rabbit. The lion does not need the rabbit. The lion needs the tiger. The rabbit chases the tiger. The rabbit is big. The rabbit likes the lion. The rabbit likes the tiger. The rabbit needs the lion. The rabbit needs the tiger. The tiger needs the lion. If something chases the lion and the lion needs the rabbit then it likes the tiger. If the lion is not kind then the lion chases the tiger. If something likes the tiger then it likes the rabbit. If something is big and it likes the rabbit then it is young. If something needs the lion then it does not need the rabbit. If the tiger chases the lion then the lion does not need the rabbit.
The tiger needs the rabbit.
@0: The lion chases the tiger.[(triple2)] The lion does not chase the rabbit.[(triple1)] The lion does not like the rabbit.[(triple3)] The lion does not need the rabbit.[(triple4)] The lion needs the tiger.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit is big.[(triple7)] The rabbit likes the lion.[(triple8)] The rabbit likes the tiger.[(triple9)] The rabbit needs the lion.[(triple10)] The rabbit needs the tiger.[(triple11)] The tiger needs the lion.[(triple12)] @1: The rabbit does not need the rabbit.[(((triple10) -> rule5))] The rabbit likes the rabbit.[(((triple9) -> rule3))] The tiger does not need the rabbit.[(((triple12) -> rule5))] @2: The rabbit is young.[(((triple7 ((triple9) -> rule3)) -> rule4))]