The dog is blue. The dog visits the lion. The lion is big. The lion is nice. The lion visits the dog. The lion visits the rabbit. The rabbit needs the dog. The rabbit needs the tiger. The rabbit visits the tiger. The tiger is big. The tiger needs the dog. The tiger sees the dog. If someone sees the dog then they visit the lion. If someone visits the rabbit and the rabbit needs the lion then the lion needs the tiger. If the dog is big and the dog sees the rabbit then the rabbit visits the tiger. If the tiger sees the rabbit and the tiger is big then the tiger is nice. If the rabbit visits the tiger then the rabbit is rough. If the tiger needs the dog then the dog needs the tiger.
The dog is big.
@0: The dog is blue.[(triple1)] The dog visits the lion.[(triple2)] The lion is big.[(triple3)] The lion is nice.[(triple4)] The lion visits the dog.[(triple5)] The lion visits the rabbit.[(triple6)] The rabbit needs the dog.[(triple7)] The rabbit needs the tiger.[(triple8)] The rabbit visits the tiger.[(triple9)] The tiger is big.[(triple10)] The tiger needs the dog.[(triple11)] The tiger sees the dog.[(triple12)] @1: The dog needs the tiger.[(((triple11) -> rule6))] The rabbit is rough.[(((triple9) -> rule5))] The tiger visits the lion.[(((triple12) -> rule1))]