The cat likes the mouse. The mouse is round. If something likes the mouse then it is red. If something sees the mouse and the mouse likes the cat then the cat is red.
The cat is big.
@0: The cat likes the mouse.[(triple1)] The mouse is round.[(triple2)] @1: The cat is red.[(((triple1) -> rule1))]