The dog eats the rabbit. The dog is cold. The dog is young. The dog likes the squirrel. The lion eats the dog. The lion eats the squirrel. The lion is blue. The lion is kind. The lion does not visit the dog. The lion visits the rabbit. The rabbit eats the lion. The rabbit does not like the lion. The rabbit likes the squirrel. The rabbit visits the lion. The squirrel is cold. The squirrel is kind. If someone visits the dog and they are not cold then the dog is kind. If the squirrel visits the dog and the squirrel does not eat the rabbit then the dog does not eat the squirrel. If someone eats the squirrel then the squirrel visits the rabbit. If the squirrel eats the lion and the squirrel is blue then the squirrel visits the lion. If someone eats the lion then the lion is big. If the rabbit eats the dog and the dog visits the squirrel then the dog eats the rabbit. If someone eats the dog and the dog visits the lion then the dog does not eat the lion. If the dog is young and the dog does not eat the lion then the lion visits the rabbit.
The lion does not eat the squirrel.
@0: The dog eats the rabbit.[(triple1)] The dog is cold.[(triple2)] The dog is young.[(triple3)] The dog likes the squirrel.[(triple4)] The lion does not visit the dog.[(triple9)] The lion eats the dog.[(triple5)] The lion eats the squirrel.[(triple6)] The lion is blue.[(triple7)] The lion is kind.[(triple8)] The lion visits the rabbit.[(triple10)] The rabbit does not like the lion.[(triple12)] The rabbit eats the lion.[(triple11)] The rabbit likes the squirrel.[(triple13)] The rabbit visits the lion.[(triple14)] The squirrel is cold.[(triple15)] The squirrel is kind.[(triple16)] @1: The lion is big.[(((triple11) -> rule5))] The squirrel visits the rabbit.[(((triple6) -> rule3))]