The cat does not eat the lion. The cat eats the mouse. The cat is nice. The cat is round. The cat likes the lion. The cat likes the mouse. The dog is red. The dog is young. The dog likes the cat. The dog needs the lion. The lion is young. The lion does not need the dog. The mouse is rough. The mouse likes the cat. The mouse needs the lion. If the mouse is round then the mouse does not eat the cat. Rough people are round. If someone likes the mouse and they like the cat then the cat needs the lion. If the dog does not eat the mouse then the mouse needs the cat. If someone needs the cat then they eat the dog. If the mouse likes the dog and the dog likes the lion then the lion needs the mouse.
The lion likes the cat.
@0: The cat does not eat the lion.[(triple1)] The cat eats the mouse.[(triple2)] The cat is nice.[(triple3)] The cat is round.[(triple4)] The cat likes the lion.[(triple5)] The cat likes the mouse.[(triple6)] The dog is red.[(triple7)] The dog is young.[(triple8)] The dog likes the cat.[(triple9)] The dog needs the lion.[(triple10)] The lion does not need the dog.[(triple12)] The lion is young.[(triple11)] The mouse is rough.[(triple13)] The mouse likes the cat.[(triple14)] The mouse needs the lion.[(triple15)] @1: The mouse is round.[(((triple13) -> rule2))] @2: The mouse does not eat the cat.[(((((triple13) -> rule2)) -> rule1))]