The rabbit eats the squirrel. The squirrel does not need the rabbit. If someone visits the rabbit and they are not red then the rabbit is not young. If the squirrel is young and the squirrel needs the rabbit then the rabbit eats the squirrel. If someone eats the squirrel then they are nice. If someone visits the rabbit and the rabbit needs the squirrel then the squirrel is not big. If someone is nice then they need the squirrel. If someone needs the squirrel and the squirrel is round then they eat the rabbit.
The squirrel is not nice.
@0: The rabbit eats the squirrel.[(triple1)] The squirrel does not need the rabbit.[(triple2)] @1: The rabbit is nice.[(((triple1) -> rule3))] @2: The rabbit needs the squirrel.[(((((triple1) -> rule3)) -> rule5))]