The cow visits the tiger. The mouse does not like the rabbit. The mouse visits the tiger. The rabbit is big. The rabbit sees the tiger. The rabbit visits the mouse. The tiger likes the cow. If someone sees the cow then the cow is not cold. Big people are blue. If the mouse is blue and the mouse is not young then the mouse sees the rabbit. If someone sees the cow and the cow does not see the rabbit then the rabbit is not cold. If someone is blue then they visit the rabbit. If the mouse visits the rabbit and the rabbit is not blue then the rabbit sees the mouse.
The mouse sees the rabbit.
@0: The cow visits the tiger.[(triple1)] The mouse does not like the rabbit.[(triple2)] The mouse visits the tiger.[(triple3)] The rabbit is big.[(triple4)] The rabbit sees the tiger.[(triple5)] The rabbit visits the mouse.[(triple6)] The tiger likes the cow.[(triple7)] @1: The rabbit is blue.[(((triple4) -> rule2))] @2: The rabbit visits the rabbit.[(((((triple4) -> rule2)) -> rule5))]