The cat eats the lion. The lion is red. The rabbit is round. The squirrel is round. If something needs the rabbit then it eats the cat. If something eats the squirrel then it needs the lion. If something eats the lion then it sees the lion. If the rabbit needs the squirrel then the rabbit needs the lion. If something is green and it needs the cat then the cat needs the lion. If something eats the squirrel then it is round.
The lion is not red.
@0: The cat eats the lion.[(triple1)] The lion is red.[(triple2)] The rabbit is round.[(triple3)] The squirrel is round.[(triple4)] @1: The cat sees the lion.[(((triple1) -> rule3))]