The dog chases the mouse. The dog is big. The dog is nice. The dog is rough. The dog is young. The dog likes the mouse. The dog does not visit the mouse. The mouse chases the dog. The mouse is big. The mouse is cold. The mouse is nice. The mouse is rough. The mouse is young. The mouse likes the dog. The mouse visits the dog. If something chases the dog then the dog is nice.
The dog visits the dog.
@0: The dog chases the mouse.[(triple1)] The dog does not visit the mouse.[(triple7)] The dog is big.[(triple2)] The dog is nice.[(triple3 OR ((triple8) -> rule1))] The dog is rough.[(triple4)] The dog is young.[(triple5)] The dog likes the mouse.[(triple6)] The mouse chases the dog.[(triple8)] The mouse is big.[(triple9)] The mouse is cold.[(triple10)] The mouse is nice.[(triple11)] The mouse is rough.[(triple12)] The mouse is young.[(triple13)] The mouse likes the dog.[(triple14)] The mouse visits the dog.[(triple15)]