The cat chases the mouse. The cat is big. The cat likes the lion. The lion is round. The lion likes the cat. The lion likes the rabbit. The lion sees the rabbit. The mouse chases the cat. The mouse chases the lion. The mouse is round. The mouse likes the cat. The rabbit is green. The rabbit likes the mouse. The rabbit sees the cat. The rabbit sees the mouse. If someone chases the rabbit then they chase the cat. If someone is big then they chase the rabbit.
The rabbit chases the mouse.
@0: The cat chases the mouse.[(triple1)] The cat is big.[(triple2)] The cat likes the lion.[(triple3)] The lion is round.[(triple4)] The lion likes the cat.[(triple5)] The lion likes the rabbit.[(triple6)] The lion sees the rabbit.[(triple7)] The mouse chases the cat.[(triple8)] The mouse chases the lion.[(triple9)] The mouse is round.[(triple10)] The mouse likes the cat.[(triple11)] The rabbit is green.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit sees the cat.[(triple14)] The rabbit sees the mouse.[(triple15)] @1: The cat chases the rabbit.[(((triple2) -> rule2))] @2: The cat chases the cat.[(((((triple2) -> rule2)) -> rule1))]