The cat chases the tiger. The cat is cold. The cat is not nice. The cat is not rough. The lion is not red. The rabbit sees the tiger. The tiger sees the lion. If something is cold then it visits the lion. If the tiger sees the rabbit then the rabbit chases the lion. If the cat visits the lion then the lion is cold. If something sees the tiger and the tiger is cold then the tiger visits the lion. If the cat does not visit the rabbit then the rabbit is not cold. If the lion chases the rabbit and the rabbit is not nice then the lion does not see the rabbit.
The lion sees the cat.
@0: The cat chases the tiger.[(triple1)] The cat is cold.[(triple2)] The cat is not nice.[(triple3)] The cat is not rough.[(triple4)] The lion is not red.[(triple5)] The rabbit sees the tiger.[(triple6)] The tiger sees the lion.[(triple7)] @1: The cat visits the lion.[(((triple2) -> rule1))] @2: The lion is cold.[(((((triple2) -> rule1)) -> rule3))] @3: The lion visits the lion.[(((((((triple2) -> rule1)) -> rule3)) -> rule1))]