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