The cow chases the lion. The cow chases the rabbit. The cow chases the squirrel. The cow is round. The cow sees the squirrel. The lion chases the squirrel. The lion is nice. The lion is round. The lion sees the cow. The rabbit chases the squirrel. The rabbit is big. The rabbit is round. The rabbit sees the cow. The squirrel chases the cow. The squirrel is rough. If someone chases the lion then they visit the cow. If someone chases the rabbit and they visit the rabbit then they see the lion. If someone sees the cow then the cow sees the squirrel. If someone visits the lion and they are round then they are big. If someone visits the rabbit then the rabbit visits the cow. If someone visits the squirrel then they see the squirrel. If someone is nice and they chase the rabbit then the rabbit sees the lion. If someone chases the lion then the lion sees the cow.
The lion is nice.
@0: The cow chases the lion.[(triple1)] The cow chases the rabbit.[(triple2)] The cow chases the squirrel.[(triple3)] The cow is round.[(triple4)] The cow sees the squirrel.[(triple5 OR ((triple13) -> rule3) OR ((triple9) -> rule3) OR ((((triple1) -> rule8)) -> rule3))] The lion chases the squirrel.[(triple6)] The lion is nice.[(triple7)] The lion is round.[(triple8)] The lion sees the cow.[(triple9 OR ((triple1) -> rule8))] The rabbit chases the squirrel.[(triple10)] The rabbit is big.[(triple11)] The rabbit is round.[(triple12)] The rabbit sees the cow.[(triple13)] The squirrel chases the cow.[(triple14)] The squirrel is rough.[(triple15)] @1: The cow visits the cow.[(((triple1) -> rule1))]