The cow is young. The mouse sees the cow. The tiger is blue. If someone is blue then they visit the mouse. If someone chases the mouse and they are blue then they are rough.
The tiger sees the mouse.
@0: The cow is young.[(triple1)] The mouse sees the cow.[(triple2)] The tiger is blue.[(triple3)] @1: The tiger visits the mouse.[(((triple3) -> rule1))]