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