The dog is round. The dog likes the mouse. The mouse chases the dog. The mouse eats the dog. The mouse eats the tiger. The mouse is round. The mouse likes the dog. The mouse likes the tiger. The tiger eats the dog. The tiger eats the mouse. The tiger is big. The tiger is round. If someone likes the mouse and they are big then they eat the mouse. If someone eats the tiger then they are rough.
The tiger is nice.
@0: The dog is round.[(triple1)] The dog likes the mouse.[(triple2)] The mouse chases the dog.[(triple3)] The mouse eats the dog.[(triple4)] The mouse eats the tiger.[(triple5)] The mouse is round.[(triple6)] The mouse likes the dog.[(triple7)] The mouse likes the tiger.[(triple8)] The tiger eats the dog.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is big.[(triple11)] The tiger is round.[(triple12)] @1: The mouse is rough.[(((triple5) -> rule2))]