The rabbit does not eat the squirrel. The rabbit is not big. The rabbit is cold. The rabbit is not green. The rabbit is red. The rabbit is young. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel does not eat the rabbit. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is not red. The squirrel is young. The squirrel needs the rabbit. The squirrel sees the rabbit. If someone eats the squirrel then the squirrel eats the rabbit. If someone eats the squirrel and the squirrel sees the rabbit then they do not eat the rabbit. If someone is cold and red then they eat the rabbit.
The rabbit does not need the rabbit.
@0: The rabbit does not eat the squirrel.[(triple1)] The rabbit is cold.[(triple3)] The rabbit is not big.[(triple2)] The rabbit is not green.[(triple4)] The rabbit is red.[(triple5)] The rabbit is young.[(triple6)] The rabbit needs the squirrel.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel does not eat the rabbit.[(triple9)] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is not red.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the rabbit.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The rabbit eats the rabbit.[(((triple3 triple5) -> rule3))]