The mouse is blue. The mouse is kind. The mouse is nice. The mouse is red. The mouse is young. The mouse likes the tiger. The mouse needs the tiger. The mouse visits the tiger. The tiger is blue. The tiger is kind. The tiger is red. The tiger is young. The tiger does not like the mouse. The tiger needs the mouse. The tiger visits the mouse. If someone needs the mouse then the mouse needs the tiger. If someone needs the mouse then they like the tiger. If someone likes the tiger then they are nice. If someone visits the tiger and the tiger is nice then the tiger does not like the mouse. If the tiger likes the mouse then the tiger does not need the mouse. If the tiger likes the mouse and the tiger is blue then the mouse visits the tiger. If someone needs the tiger and they need the mouse then the mouse visits the tiger. Nice people are red.
The tiger is not nice.
@0: The mouse is blue.[(triple1)] The mouse is kind.[(triple2)] The mouse is nice.[(triple3 OR ((triple6) -> rule3))] The mouse is red.[(triple4 OR ((triple3) -> rule8) OR ((((triple6) -> rule3)) -> rule8))] The mouse is young.[(triple5)] The mouse likes the tiger.[(triple6)] The mouse needs the tiger.[(triple7 OR ((triple14) -> rule1))] The mouse visits the tiger.[(triple8)] The tiger does not like the mouse.[(triple13 OR ((triple8 ((((triple14) -> rule2)) -> rule3)) -> rule4))] The tiger is blue.[(triple9)] The tiger is kind.[(triple10)] The tiger is red.[(triple11 OR ((((((triple14) -> rule2)) -> rule3)) -> rule8))] The tiger is young.[(triple12)] The tiger needs the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The tiger likes the tiger.[(((triple14) -> rule2))] @2: The tiger is nice.[(((((triple14) -> rule2)) -> rule3))]