The dog is cold. The dog is kind. The dog is young. The dog likes the rabbit. The dog does not visit the rabbit. The dog visits the squirrel. The rabbit chases the dog. The rabbit is cold. The rabbit is not red. The rabbit likes the dog. The rabbit likes the squirrel. The squirrel chases the rabbit. The squirrel is kind. The squirrel is round. The squirrel likes the rabbit. The squirrel does not visit the rabbit. If someone visits the rabbit and they chase the dog then the rabbit is not red. If the squirrel is young and the squirrel chases the rabbit then the rabbit does not visit the dog. If someone visits the dog and the dog likes the rabbit then they are red. If someone chases the squirrel and the squirrel visits the rabbit then the squirrel is round. If the rabbit is red then the rabbit is kind. If someone chases the rabbit and they do not visit the rabbit then the rabbit is kind. If the squirrel is not round then the squirrel is not cold. If someone is young and they do not visit the dog then they do not like the dog.
The rabbit is not kind.
@0: The dog does not visit the rabbit.[(triple5)] The dog is cold.[(triple1)] The dog is kind.[(triple2)] The dog is young.[(triple3)] The dog likes the rabbit.[(triple4)] The dog visits the squirrel.[(triple6)] The rabbit chases the dog.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is not red.[(triple9)] The rabbit likes the dog.[(triple10)] The rabbit likes the squirrel.[(triple11)] The squirrel chases the rabbit.[(triple12)] The squirrel does not visit the rabbit.[(triple16)] The squirrel is kind.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the rabbit.[(triple15)] @1: The rabbit is kind.[(((triple12 triple16) -> rule6))]