The cow is not kind. The cow is nice. The cow is round. The cow likes the mouse. The cow does not visit the dog. The dog chases the mouse. The dog is nice. The dog visits the mouse. The mouse chases the cow. The mouse does not chase the dog. The mouse is big. The mouse is kind. The mouse likes the cow. The mouse likes the dog. The mouse visits the cow. The mouse visits the dog. If something visits the mouse and the mouse does not visit the cow then it does not like the dog. If something likes the dog and it is blue then the dog likes the mouse.
The dog is kind.
@0: The cow does not visit the dog.[(triple5)] The cow is nice.[(triple2)] The cow is not kind.[(triple1)] The cow is round.[(triple3)] The cow likes the mouse.[(triple4)] The dog chases the mouse.[(triple6)] The dog is nice.[(triple7)] The dog visits the mouse.[(triple8)] The mouse chases the cow.[(triple9)] The mouse does not chase the dog.[(triple10)] The mouse is big.[(triple11)] The mouse is kind.[(triple12)] The mouse likes the cow.[(triple13)] The mouse likes the dog.[(triple14)] The mouse visits the cow.[(triple15)] The mouse visits the dog.[(triple16)]