The cat sees the rabbit. The cat sees the tiger. The cat visits the tiger. The lion needs the cat. The rabbit is blue. The rabbit is cold. The rabbit needs the cat. The rabbit visits the lion. The tiger is green. The tiger needs the cat. The tiger needs the lion. The tiger visits the cat. If someone needs the rabbit then they see the rabbit. If someone visits the tiger then the tiger visits the lion. If someone needs the tiger and they are young then they visit the tiger. If someone visits the cat then the cat visits the rabbit. Cold people are green. If the cat visits the lion and the lion is young then the cat is green. If someone sees the tiger then the tiger needs the lion. If the lion visits the tiger and the tiger sees the rabbit then the rabbit is blue.
The lion is round.
@0: The cat sees the rabbit.[(triple1)] The cat sees the tiger.[(triple2)] The cat visits the tiger.[(triple3)] The lion needs the cat.[(triple4)] The rabbit is blue.[(triple5)] The rabbit is cold.[(triple6)] The rabbit needs the cat.[(triple7)] The rabbit visits the lion.[(triple8)] The tiger is green.[(triple9)] The tiger needs the cat.[(triple10)] The tiger needs the lion.[(triple11 OR ((triple2) -> rule7))] The tiger visits the cat.[(triple12)] @1: The cat visits the rabbit.[(((triple12) -> rule4))] The rabbit is green.[(((triple6) -> rule5))] The tiger visits the lion.[(((triple3) -> rule2))]