The mouse chases the tiger. The mouse is green. The mouse is young. The mouse visits the tiger. The tiger chases the mouse. The tiger eats the mouse. The tiger is big. The tiger is cold. The tiger is green. The tiger is red. The tiger is young. The tiger does not visit the mouse. If someone chases the mouse then they do not visit the mouse. If the mouse visits the tiger and the mouse is not young then the tiger visits the mouse.
The mouse is not red.
@0: The mouse chases the tiger.[(triple1)] The mouse is green.[(triple2)] The mouse is young.[(triple3)] The mouse visits the tiger.[(triple4)] The tiger chases the mouse.[(triple5)] The tiger does not visit the mouse.[(triple12 OR ((triple5) -> rule1))] The tiger eats the mouse.[(triple6)] The tiger is big.[(triple7)] The tiger is cold.[(triple8)] The tiger is green.[(triple9)] The tiger is red.[(triple10)] The tiger is young.[(triple11)]