The rabbit chases the squirrel. The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is round. The rabbit is young. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel likes the rabbit. The squirrel visits the rabbit. If the squirrel visits the rabbit then the squirrel is young. If someone likes the squirrel and they chase the rabbit then the squirrel likes the rabbit. If someone visits the rabbit and they are round then the rabbit is green. If the squirrel chases the rabbit and the rabbit is young then the rabbit visits the squirrel. If someone chases the rabbit then the rabbit chases the squirrel. If someone chases the squirrel then they are green.
The rabbit chases the rabbit.
@0: The rabbit chases the squirrel.[(triple1 OR ((triple9) -> rule5))] The rabbit is big.[(triple2)] The rabbit is green.[(triple3 OR ((triple1) -> rule6) OR ((triple16 triple13) -> rule3) OR ((((triple9) -> rule5)) -> rule6))] The rabbit is nice.[(triple4)] The rabbit is round.[(triple5)] The rabbit is young.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit visits the squirrel.[(triple8 OR ((triple9 triple6) -> rule4))] The squirrel chases the rabbit.[(triple9)] The squirrel is big.[(triple10)] The squirrel is green.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14 OR ((triple16) -> rule1))] The squirrel likes the rabbit.[(triple15)] The squirrel visits the rabbit.[(triple16)]