The cat chases the mouse. The cat eats the mouse. The cat eats the rabbit. The cat is young. The cat visits the rabbit. The mouse chases the cat. The mouse eats the rabbit. The mouse is big. The mouse is cold. The mouse visits the cat. The mouse visits the rabbit. The rabbit eats the cat. The rabbit is cold. The rabbit is green. The rabbit is young. The rabbit visits the cat. If someone eats the mouse and they eat the rabbit then the rabbit chases the cat. If the rabbit visits the mouse and the rabbit chases the mouse then the mouse visits the cat. If the cat chases the rabbit and the rabbit chases the cat then the rabbit visits the mouse.
The mouse is not big.
@0: The cat chases the mouse.[(triple1)] The cat eats the mouse.[(triple2)] The cat eats the rabbit.[(triple3)] The cat is young.[(triple4)] The cat visits the rabbit.[(triple5)] The mouse chases the cat.[(triple6)] The mouse eats the rabbit.[(triple7)] The mouse is big.[(triple8)] The mouse is cold.[(triple9)] The mouse visits the cat.[(triple10)] The mouse visits the rabbit.[(triple11)] The rabbit eats the cat.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is green.[(triple14)] The rabbit is young.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The rabbit chases the cat.[(((triple2 triple3) -> rule1))]