The cat chases the cow. The cat does not chase the mouse. The cat is big. The cat likes the mouse. The cow does not eat the cat. The cow is young. The cow likes the mouse. The lion is big. The lion likes the cat. The lion likes the cow. The lion does not like the mouse. The mouse chases the cat. The mouse chases the cow. The mouse is nice. The mouse is round. The mouse does not like the cat. If someone likes the cat then they chase the lion. All round people are big.
The mouse likes the cat.
@0: The cat chases the cow.[(triple1)] The cat does not chase the mouse.[(triple2)] The cat is big.[(triple3)] The cat likes the mouse.[(triple4)] The cow does not eat the cat.[(triple5)] The cow is young.[(triple6)] The cow likes the mouse.[(triple7)] The lion does not like the mouse.[(triple11)] The lion is big.[(triple8)] The lion likes the cat.[(triple9)] The lion likes the cow.[(triple10)] The mouse chases the cat.[(triple12)] The mouse chases the cow.[(triple13)] The mouse does not like the cat.[(triple16)] The mouse is nice.[(triple14)] The mouse is round.[(triple15)] @1: The lion chases the lion.[(((triple9) -> rule1))] The mouse is big.[(((triple15) -> rule2))]