The mouse is young. The rabbit is blue. The rabbit visits the mouse. The rabbit visits the tiger. The tiger likes the mouse. The tiger visits the mouse. The tiger visits the rabbit. If someone likes the mouse and they visit the mouse then they visit the rabbit. If someone sees the tiger and they like the mouse then they are blue.
The tiger does not like the mouse.
@0: The mouse is young.[(triple1)] The rabbit is blue.[(triple2)] The rabbit visits the mouse.[(triple3)] The rabbit visits the tiger.[(triple4)] The tiger likes the mouse.[(triple5)] The tiger visits the mouse.[(triple6)] The tiger visits the rabbit.[(triple7 OR ((triple5 triple6) -> rule1))]