The lion is green. The lion needs the tiger. The lion sees the tiger. The tiger is blue. The tiger is cold. The tiger is green. The tiger is red. The tiger needs the lion. The tiger sees the lion. The tiger visits the lion. If someone is blue and big then they are red. If someone visits the tiger and they are green then the tiger is blue. If someone visits the lion and they see the lion then they need the tiger.
The tiger does not need the tiger.
@0: The lion is green.[(triple1)] The lion needs the tiger.[(triple2)] The lion sees the tiger.[(triple3)] The tiger is blue.[(triple4)] The tiger is cold.[(triple5)] The tiger is green.[(triple6)] The tiger is red.[(triple7)] The tiger needs the lion.[(triple8)] The tiger sees the lion.[(triple9)] The tiger visits the lion.[(triple10)] @1: The tiger needs the tiger.[(((triple10 triple9) -> rule3))]