The dog does not visit the lion. The lion is big. The lion is blue. The lion sees the dog. The lion visits the dog. The rabbit is blue. The rabbit is cold. If something is cold and it does not visit the lion then the lion sees the dog. If the rabbit is not blue then the rabbit does not see the lion. If something is green then it sees the rabbit. If something is big then it likes the dog. If something visits the rabbit and it is cold then the rabbit visits the dog. If something visits the lion and it is not rough then the lion sees the rabbit. If something sees the rabbit then it likes the rabbit. Cold things are green.
The rabbit sees the rabbit.
@0: The dog does not visit the lion.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion sees the dog.[(triple4)] The lion visits the dog.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is cold.[(triple7)] @1: The lion likes the dog.[(((triple2) -> rule4))] The rabbit is green.[(((triple7) -> rule8))] @2: The rabbit sees the rabbit.[(((((triple7) -> rule8)) -> rule3))] @3: The rabbit likes the rabbit.[(((((((triple7) -> rule8)) -> rule3)) -> rule7))]