The cat chases the lion. The cat is blue. The lion eats the mouse. The lion is big. The lion is rough. The mouse chases the cat. The rabbit chases the mouse. The rabbit eats the lion. The rabbit is not rough. The rabbit needs the cat. If something is young and it does not chase the cat then the cat does not need the rabbit. If something chases the mouse then the mouse needs the lion.
The mouse does not need the lion.
@0: The cat chases the lion.[(triple1)] The cat is blue.[(triple2)] The lion eats the mouse.[(triple3)] The lion is big.[(triple4)] The lion is rough.[(triple5)] The mouse chases the cat.[(triple6)] The rabbit chases the mouse.[(triple7)] The rabbit eats the lion.[(triple8)] The rabbit is not rough.[(triple9)] The rabbit needs the cat.[(triple10)] @1: The mouse needs the lion.[(((triple7) -> rule2))]