The rabbit eats the squirrel. The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is round. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is big. The squirrel is cold. The squirrel is kind. The squirrel is round. The squirrel is young. The squirrel needs the rabbit. The squirrel sees the rabbit. If something is big then it needs the squirrel. If the rabbit eats the squirrel then the rabbit sees the squirrel.
The rabbit is big.
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is big.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is round.[(triple5)] The rabbit needs the squirrel.[(triple6 OR ((triple2) -> rule1))] The rabbit sees the squirrel.[(triple7 OR ((triple1) -> rule2))] The squirrel eats the rabbit.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is round.[(triple12)] The squirrel is young.[(triple13)] The squirrel needs the rabbit.[(triple14)] The squirrel sees the rabbit.[(triple15)] @1: The squirrel needs the squirrel.[(((triple9) -> rule1))]