The cat chases the mouse. The cat eats the mouse. The cat eats the tiger. The cat is green. The cat is nice. The cat is red. The cat visits the dog. The cat visits the mouse. The dog eats the mouse. The dog eats the tiger. The dog is big. The dog visits the mouse. The mouse eats the cat. The mouse is green. The tiger is big. The tiger is green. If someone eats the dog then they chase the cat. If someone eats the tiger and the tiger visits the mouse then the mouse eats the dog. If the mouse eats the cat then the mouse visits the tiger.
The tiger is red.
@0: The cat chases the mouse.[(triple1)] The cat eats the mouse.[(triple2)] The cat eats the tiger.[(triple3)] The cat is green.[(triple4)] The cat is nice.[(triple5)] The cat is red.[(triple6)] The cat visits the dog.[(triple7)] The cat visits the mouse.[(triple8)] The dog eats the mouse.[(triple9)] The dog eats the tiger.[(triple10)] The dog is big.[(triple11)] The dog visits the mouse.[(triple12)] The mouse eats the cat.[(triple13)] The mouse is green.[(triple14)] The tiger is big.[(triple15)] The tiger is green.[(triple16)] @1: The mouse visits the tiger.[(((triple13) -> rule3))]