The cat needs the rabbit. The lion visits the squirrel. The rabbit is cold. The squirrel is young. If something is round and it likes the lion then it likes the squirrel. If something likes the lion and it is round then the lion is nice. If something is kind and it needs the squirrel then it is young. If something needs the lion then it is kind. If something needs the rabbit then the rabbit is kind. If something likes the squirrel then the squirrel is round. If something is nice then it needs the squirrel. If something likes the cat and the cat is young then it needs the squirrel.
The cat visits the squirrel.
@0: The cat needs the rabbit.[(triple1)] The lion visits the squirrel.[(triple2)] The rabbit is cold.[(triple3)] The squirrel is young.[(triple4)] @1: The rabbit is kind.[(((triple1) -> rule5))]