The cat sees the lion. The cat visits the dog. The dog is big. The dog sees the rabbit. The dog visits the cat. The lion is big. The lion needs the cat. The lion needs the dog. The lion needs the rabbit. The rabbit is green. The rabbit needs the cat. The rabbit visits the lion. If someone visits the dog then the dog visits the rabbit.
The dog is not kind.
@0: The cat sees the lion.[(triple1)] The cat visits the dog.[(triple2)] The dog is big.[(triple3)] The dog sees the rabbit.[(triple4)] The dog visits the cat.[(triple5)] The lion is big.[(triple6)] The lion needs the cat.[(triple7)] The lion needs the dog.[(triple8)] The lion needs the rabbit.[(triple9)] The rabbit is green.[(triple10)] The rabbit needs the cat.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The dog visits the rabbit.[(((triple2) -> rule1))]