The mouse is cold. The mouse is green. The mouse is red. The mouse is round. The mouse is young. The mouse does not need the tiger. The mouse sees the tiger. The mouse visits the tiger. The tiger is not cold. The tiger is green. The tiger is red. The tiger is round. The tiger is young. The tiger needs the mouse. The tiger sees the mouse. The tiger visits the mouse. If someone needs the tiger and the tiger needs the mouse then they visit the tiger. If someone needs the tiger and they are cold then they need the mouse. If someone needs the tiger and the tiger needs the mouse then they visit the mouse. If someone needs the mouse then the mouse visits the tiger. If someone is red and they need the tiger then they are round. If someone needs the mouse and they are not round then they see the mouse. If the tiger sees the mouse and the tiger does not need the mouse then the mouse is young. If the tiger sees the mouse and the mouse needs the tiger then the tiger does not visit the mouse.
The tiger is green.
@0: The mouse does not need the tiger.[(triple6)] The mouse is cold.[(triple1)] The mouse is green.[(triple2)] The mouse is red.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5)] The mouse sees the tiger.[(triple7)] The mouse visits the tiger.[(triple8 OR ((triple14) -> rule4))] The tiger is green.[(triple10)] The tiger is not cold.[(triple9)] The tiger is red.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger needs the mouse.[(triple14)] The tiger sees the mouse.[(triple15)] The tiger visits the mouse.[(triple16)]