The dog is big. The dog is rough. The dog needs the mouse. The dog visits the mouse. The mouse eats the dog. The mouse eats the tiger. The mouse is big. The mouse is kind. The mouse is rough. The mouse is round. The mouse needs the tiger. The mouse visits the tiger. The tiger eats the mouse. The tiger is nice. The tiger needs the dog. The tiger visits the dog. If the mouse visits the tiger then the mouse visits the dog.
The tiger is not round.
@0: The dog is big.[(triple1)] The dog is rough.[(triple2)] The dog needs the mouse.[(triple3)] The dog visits the mouse.[(triple4)] The mouse eats the dog.[(triple5)] The mouse eats the tiger.[(triple6)] The mouse is big.[(triple7)] The mouse is kind.[(triple8)] The mouse is rough.[(triple9)] The mouse is round.[(triple10)] The mouse needs the tiger.[(triple11)] The mouse visits the tiger.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger is nice.[(triple14)] The tiger needs the dog.[(triple15)] The tiger visits the dog.[(triple16)] @1: The mouse visits the dog.[(((triple12) -> rule1))]