The cat is rough. The cat likes the mouse. The lion does not eat the rabbit. The lion is blue. The lion is not red. The lion likes the rabbit. The mouse does not chase the lion. The mouse chases the rabbit. The mouse eats the lion. The mouse eats the rabbit. The mouse is red. The mouse is young. The rabbit is blue. The rabbit is red. The rabbit likes the mouse. Round things are young. If something eats the lion and it does not like the mouse then the lion does not eat the rabbit. If something is rough then it does not like the rabbit. If something eats the mouse then the mouse is not round. If the cat eats the lion and the cat is not red then the cat does not chase the lion. If something chases the cat and it does not eat the rabbit then the rabbit likes the cat.
The rabbit is not young.
@0: The cat is rough.[(triple1)] The cat likes the mouse.[(triple2)] The lion does not eat the rabbit.[(triple3)] The lion is blue.[(triple4)] The lion is not red.[(triple5)] The lion likes the rabbit.[(triple6)] The mouse chases the rabbit.[(triple8)] The mouse does not chase the lion.[(triple7)] The mouse eats the lion.[(triple9)] The mouse eats the rabbit.[(triple10)] The mouse is red.[(triple11)] The mouse is young.[(triple12)] The rabbit is blue.[(triple13)] The rabbit is red.[(triple14)] The rabbit likes the mouse.[(triple15)] @1: The cat does not like the rabbit.[(((triple1) -> rule3))]