The dog chases the lion. The dog is round. The dog likes the lion. The dog does not like the squirrel. The dog visits the lion. The lion does not visit the rabbit. The rabbit does not visit the squirrel. The squirrel chases the rabbit. The squirrel is not blue. The squirrel likes the rabbit. The squirrel visits the dog. The squirrel does not visit the rabbit. If someone is nice then they visit the lion. If someone visits the dog and the dog visits the squirrel then the dog does not like the rabbit. If someone visits the lion then they are round. If the dog does not like the lion and the dog is not blue then the dog chases the squirrel. If someone is nice then they do not like the rabbit. If the dog visits the squirrel and the dog is young then the dog likes the squirrel.
The squirrel visits the dog.
@0: The dog chases the lion.[(triple1)] The dog does not like the squirrel.[(triple4)] The dog is round.[(triple2 OR ((triple5) -> rule3))] The dog likes the lion.[(triple3)] The dog visits the lion.[(triple5)] The lion does not visit the rabbit.[(triple6)] The rabbit does not visit the squirrel.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel does not visit the rabbit.[(triple12)] The squirrel is not blue.[(triple9)] The squirrel likes the rabbit.[(triple10)] The squirrel visits the dog.[(triple11)]