The dog likes the mouse. The mouse does not like the dog. If someone likes the dog then they are not blue. If someone likes the mouse then they eat the mouse. If someone eats the mouse then they are not round.
The dog does not eat the mouse.
@0: The dog likes the mouse.[(triple1)] The mouse does not like the dog.[(triple2)] @1: The dog eats the mouse.[(((triple1) -> rule2))] @2: The dog is not round.[(((((triple1) -> rule2)) -> rule3))]