The lion is not blue. The lion is not cold. The lion is not red. The lion is round. The lion is young. The lion likes the tiger. The lion does not need the tiger. The lion visits the tiger. The tiger is blue. The tiger is not cold. The tiger is red. The tiger is round. The tiger is young. The tiger likes the lion. The tiger does not need the lion. The tiger visits the lion. If the lion visits the tiger then the tiger is red. If someone likes the lion and they visit the tiger then the tiger is red. If someone visits the lion then they are round. If someone is blue and they need the tiger then they do not need the lion. If someone visits the lion then the lion is young. If someone likes the tiger and they are not young then the tiger needs the lion.
The lion visits the lion.
@0: The lion does not need the tiger.[(triple7)] The lion is not blue.[(triple1)] The lion is not cold.[(triple2)] The lion is not red.[(triple3)] The lion is round.[(triple4)] The lion is young.[(triple5 OR ((triple16) -> rule5))] The lion likes the tiger.[(triple6)] The lion visits the tiger.[(triple8)] The tiger does not need the lion.[(triple15)] The tiger is blue.[(triple9)] The tiger is not cold.[(triple10)] The tiger is red.[(triple11 OR ((triple8) -> rule1))] The tiger is round.[(triple12 OR ((triple16) -> rule3))] The tiger is young.[(triple13)] The tiger likes the lion.[(triple14)] The tiger visits the lion.[(triple16)]