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