The mouse is young. The mouse visits the tiger. The tiger does not eat the mouse. The tiger is rough. The tiger is round. The tiger likes the mouse. The tiger visits the mouse. If someone likes the mouse then they are cold. If someone visits the mouse and the mouse is cold then the mouse likes the tiger. If someone eats the mouse and they eat the tiger then the tiger visits the mouse. If someone visits the mouse then the mouse is young. If someone likes the mouse then they visit the tiger. If someone is round and big then they like the mouse. If someone eats the tiger then they visit the mouse. If the tiger does not like the mouse and the mouse does not like the tiger then the tiger is rough.
The mouse does not like the tiger.
@0: The mouse is young.[(triple1 OR ((triple7) -> rule4))] The mouse visits the tiger.[(triple2)] The tiger does not eat the mouse.[(triple3)] The tiger is rough.[(triple4)] The tiger is round.[(triple5)] The tiger likes the mouse.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The tiger is cold.[(((triple6) -> rule1))] The tiger visits the tiger.[(((triple6) -> rule5))]