The lion is cold. The lion is 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 cold. The tiger is red. The tiger is young. The tiger needs the lion. The tiger does not visit the lion. If the lion likes the tiger then the tiger needs the lion. If someone is cold and they like the lion then the lion is cold. If the lion needs the tiger and the tiger likes the lion then the lion does not like the tiger. If the tiger is not round then the tiger likes the lion. If the tiger needs the lion then the tiger likes the lion. If the tiger needs the lion and the lion is not cold then the lion is not round.
The tiger visits the tiger.
@0: The lion does not need the tiger.[(triple6)] The lion is cold.[(triple1 OR ((triple8 ((triple11) -> rule5)) -> rule2) OR ((triple8 ((((triple5) -> rule1)) -> rule5)) -> rule2))] The lion is red.[(triple2)] The lion is round.[(triple3)] The lion is young.[(triple4)] The lion likes the tiger.[(triple5)] The lion visits the tiger.[(triple7)] The tiger does not visit the lion.[(triple12)] The tiger is cold.[(triple8)] The tiger is red.[(triple9)] The tiger is young.[(triple10)] The tiger needs the lion.[(triple11 OR ((triple5) -> rule1))] @1: The tiger likes the lion.[(((triple11) -> rule5) OR ((((triple5) -> rule1)) -> rule5))]