The lion visits the tiger. The rabbit is blue. The tiger needs the lion. If someone sees the lion and they visit the tiger then the tiger is blue. If someone sees the rabbit then the rabbit visits the lion. If someone needs the rabbit and the rabbit visits the tiger then the tiger is kind. If the lion sees the rabbit and the rabbit is not red then the rabbit is young. If the rabbit sees the tiger and the rabbit does not visit the tiger then the rabbit does not need the lion. If someone needs the lion then they see the rabbit. If someone sees the rabbit and the rabbit is kind then the rabbit does not see the tiger. If the tiger is blue then the tiger needs the lion.
The rabbit is blue.
@0: The lion visits the tiger.[(triple1)] The rabbit is blue.[(triple2)] The tiger needs the lion.[(triple3)] @1: The tiger sees the rabbit.[(((triple3) -> rule6))] @2: The rabbit visits the lion.[(((((triple3) -> rule6)) -> rule2))]