The dog eats the mouse. The dog is not rough. The dog is young. The dog likes the mouse. The dog likes the squirrel. The dog likes the tiger. The dog needs the squirrel. The mouse is not cold. The mouse likes the dog. The squirrel does not eat the dog. The squirrel is not round. The squirrel needs the dog. The tiger is cold. The tiger does not like the dog. The tiger likes the squirrel. The tiger needs the squirrel. If someone likes the squirrel and they are not cold then they are round. If the tiger does not need the squirrel then the squirrel needs the tiger. If someone likes the mouse and they do not eat the tiger then they need the mouse. If someone needs the mouse and they need the tiger then the mouse likes the dog. If the mouse likes the squirrel and the squirrel likes the dog then the dog likes the mouse. If the squirrel needs the dog then the dog likes the squirrel. If the dog likes the tiger and the dog is not red then the dog is not young. If someone eats the mouse then they like the dog.
The dog does not like the mouse.
@0: The dog eats the mouse.[(triple1)] The dog is not rough.[(triple2)] The dog is young.[(triple3)] The dog likes the mouse.[(triple4)] The dog likes the squirrel.[(triple5 OR ((triple12) -> rule6))] The dog likes the tiger.[(triple6)] The dog needs the squirrel.[(triple7)] The mouse is not cold.[(triple8)] The mouse likes the dog.[(triple9)] The squirrel does not eat the dog.[(triple10)] The squirrel is not round.[(triple11)] The squirrel needs the dog.[(triple12)] The tiger does not like the dog.[(triple14)] The tiger is cold.[(triple13)] The tiger likes the squirrel.[(triple15)] The tiger needs the squirrel.[(triple16)] @1: The dog likes the dog.[(((triple1) -> rule8))]