The dog is rough. The mouse likes the tiger. The rabbit is round. The tiger chases the mouse. If something chases the mouse then it likes the mouse. If something likes the rabbit then it likes the mouse.
The rabbit does not like the mouse.
@0: The dog is rough.[(triple1)] The mouse likes the tiger.[(triple2)] The rabbit is round.[(triple3)] The tiger chases the mouse.[(triple4)] @1: The tiger likes the mouse.[(((triple4) -> rule1))]