The cat is big. The cat visits the mouse. The lion is big. The mouse chases the cat. The mouse chases the lion. The mouse is big. The rabbit chases the mouse. The rabbit is big. The rabbit is nice. The rabbit is round. The rabbit likes the mouse. The rabbit visits the lion. If someone is big and they chase the rabbit then the rabbit likes the mouse. If someone chases the cat then the cat visits the rabbit.
The cat is not round.
@0: The cat is big.[(triple1)] The cat visits the mouse.[(triple2)] The lion is big.[(triple3)] The mouse chases the cat.[(triple4)] The mouse chases the lion.[(triple5)] The mouse is big.[(triple6)] The rabbit chases the mouse.[(triple7)] The rabbit is big.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is round.[(triple10)] The rabbit likes the mouse.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The cat visits the rabbit.[(((triple4) -> rule2))]