The dog likes the mouse. The mouse eats the tiger. The squirrel eats the dog. The tiger is round. If someone eats the tiger then they eat the squirrel. If someone eats the squirrel then the squirrel eats the tiger.
The dog is not big.
@0: The dog likes the mouse.[(triple1)] The mouse eats the tiger.[(triple2)] The squirrel eats the dog.[(triple3)] The tiger is round.[(triple4)] @1: The mouse eats the squirrel.[(((triple2) -> rule1))] @2: The squirrel eats the tiger.[(((((triple2) -> rule1)) -> rule2))] @3: The squirrel eats the squirrel.[(((((((triple2) -> rule1)) -> rule2)) -> rule1))]