The dog chases the lion. The dog chases the rabbit. The dog is rough. The dog sees the lion. The dog sees the rabbit. The lion is green. The lion is rough. The lion sees the dog. The rabbit chases the dog. The rabbit chases the lion. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit sees the lion. The rabbit visits the dog. If someone sees the rabbit and the rabbit visits the dog then they chase the dog. If someone is young and they see the lion then the lion visits the dog. If someone chases the rabbit then they visit the rabbit.
The dog does not see the rabbit.
@0: The dog chases the lion.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is rough.[(triple3)] The dog sees the lion.[(triple4)] The dog sees the rabbit.[(triple5)] The lion is green.[(triple6)] The lion is rough.[(triple7)] The lion sees the dog.[(triple8)] The rabbit chases the dog.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is green.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is rough.[(triple14)] The rabbit sees the lion.[(triple15)] The rabbit visits the dog.[(triple16)] @1: The dog chases the dog.[(((triple5 triple16) -> rule1))] The dog visits the rabbit.[(((triple2) -> rule3))]