The cat eats the squirrel. The lion is round. The rabbit eats the lion. The squirrel sees the lion. If someone sees the rabbit and they are round then they are big. If someone is big then they see the cat. If someone eats the lion then they are blue. If someone needs the lion and the lion is big then the lion eats the squirrel. If someone eats the rabbit then the rabbit needs the squirrel. If the lion is round and the lion needs the cat then the cat sees the squirrel. If the rabbit eats the cat and the cat eats the rabbit then the rabbit is big. If someone needs the lion then they need the rabbit.
The cat eats the squirrel.
@0: The cat eats the squirrel.[(triple1)] The lion is round.[(triple2)] The rabbit eats the lion.[(triple3)] The squirrel sees the lion.[(triple4)] @1: The rabbit is blue.[(((triple3) -> rule3))]