The dog chases the rabbit. The dog is red. The lion eats the rabbit. The lion is red. The lion visits the mouse. The lion visits the rabbit. The mouse eats the lion. The rabbit chases the dog. The rabbit eats the dog. The rabbit is big. If the mouse is red and the mouse is not round then the mouse is big. If the mouse visits the dog and the mouse is red then the mouse eats the lion.
The mouse is not big.
@0: The dog chases the rabbit.[(triple1)] The dog is red.[(triple2)] The lion eats the rabbit.[(triple3)] The lion is red.[(triple4)] The lion visits the mouse.[(triple5)] The lion visits the rabbit.[(triple6)] The mouse eats the lion.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit eats the dog.[(triple9)] The rabbit is big.[(triple10)]