The dog is big. The dog sees the rabbit. The lion is round. The lion likes the dog. The lion likes the tiger. The lion does not need the rabbit. The lion sees the dog. The lion sees the rabbit. The lion sees the tiger. The rabbit is rough. The tiger is kind. The tiger is rough. The tiger is not round. The tiger likes the rabbit. The tiger needs the dog. The tiger does not need the rabbit. If someone sees the tiger and the tiger is rough then they need the lion. If someone needs the dog and the dog is not red then the dog is big. If the dog likes the rabbit then the rabbit is not big.
The lion is not round.
@0: The dog is big.[(triple1)] The dog sees the rabbit.[(triple2)] The lion does not need the rabbit.[(triple6)] The lion is round.[(triple3)] The lion likes the dog.[(triple4)] The lion likes the tiger.[(triple5)] The lion sees the dog.[(triple7)] The lion sees the rabbit.[(triple8)] The lion sees the tiger.[(triple9)] The rabbit is rough.[(triple10)] The tiger does not need the rabbit.[(triple16)] The tiger is kind.[(triple11)] The tiger is not round.[(triple13)] The tiger is rough.[(triple12)] The tiger likes the rabbit.[(triple14)] The tiger needs the dog.[(triple15)] @1: The lion needs the lion.[(((triple9 triple12) -> rule1))]