The lion chases the tiger. The lion is cold. The lion is kind. The lion is nice. The lion is red. The lion is rough. The lion needs the tiger. The lion visits the tiger. The tiger chases the lion. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is not red. The tiger is rough. The tiger does not need the lion. The tiger visits the lion. If someone chases the tiger then they visit the tiger. If the tiger needs the lion and the tiger does not chase the lion then the tiger is red.
The lion is cold.
@0: The lion chases the tiger.[(triple1)] The lion is cold.[(triple2)] The lion is kind.[(triple3)] The lion is nice.[(triple4)] The lion is red.[(triple5)] The lion is rough.[(triple6)] The lion needs the tiger.[(triple7)] The lion visits the tiger.[(triple8 OR ((triple1) -> rule1))] The tiger chases the lion.[(triple9)] The tiger does not need the lion.[(triple15)] The tiger is cold.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is not red.[(triple13)] The tiger is rough.[(triple14)] The tiger visits the lion.[(triple16)]