The rabbit chases the squirrel. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel is big. The squirrel is nice. The squirrel is rough. The squirrel needs the rabbit. The squirrel sees the rabbit. If the squirrel needs the rabbit and the rabbit is blue then the rabbit chases the squirrel. If someone sees the squirrel then the squirrel needs the rabbit.
The rabbit sees the squirrel.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is nice.[(triple2)] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit needs the squirrel.[(triple5)] The rabbit sees the squirrel.[(triple6)] The squirrel chases the rabbit.[(triple7)] The squirrel is big.[(triple8)] The squirrel is nice.[(triple9)] The squirrel is rough.[(triple10)] The squirrel needs the rabbit.[(triple11 OR ((triple6) -> rule2))] The squirrel sees the rabbit.[(triple12)]