The lion is kind. The lion is red. The lion sees the rabbit. The rabbit needs the tiger. The rabbit sees the lion. The tiger is kind. The tiger needs the rabbit. If something is kind then it needs the lion. If something needs the rabbit and it is nice then it visits the tiger. If something visits the tiger then the tiger needs the lion. All kind things are cold. If something needs the rabbit then it sees the rabbit. If something needs the tiger and the tiger sees the lion then the tiger visits the lion. If something sees the lion and the lion visits the rabbit then it is cold. If something visits the tiger and the tiger sees the rabbit then it visits the rabbit.
The rabbit is red.
@0: The lion is kind.[(triple1)] The lion is red.[(triple2)] The lion sees the rabbit.[(triple3)] The rabbit needs the tiger.[(triple4)] The rabbit sees the lion.[(triple5)] The tiger is kind.[(triple6)] The tiger needs the rabbit.[(triple7)] @1: The lion is cold.[(((triple1) -> rule4))] The lion needs the lion.[(((triple1) -> rule1))] The tiger is cold.[(((triple6) -> rule4))] The tiger needs the lion.[(((triple6) -> rule1))] The tiger sees the rabbit.[(((triple7) -> rule5))]