The cow eats the rabbit. The cow is red. The lion chases the rabbit. The lion chases the squirrel. The lion eats the rabbit. The lion eats the squirrel. The lion is round. The lion visits the squirrel. The rabbit is big. The rabbit is rough. The squirrel chases the lion. The squirrel chases the rabbit. The squirrel eats the cow. The squirrel eats the lion. The squirrel is round. If something eats the squirrel then it chases the cow. If something visits the rabbit and it eats the rabbit then the rabbit is round. If something chases the cow then it eats the lion.
The lion chases the cow.
@0: The cow eats the rabbit.[(triple1)] The cow is red.[(triple2)] The lion chases the rabbit.[(triple3)] The lion chases the squirrel.[(triple4)] The lion eats the rabbit.[(triple5)] The lion eats the squirrel.[(triple6)] The lion is round.[(triple7)] The lion visits the squirrel.[(triple8)] The rabbit is big.[(triple9)] The rabbit is rough.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel chases the rabbit.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel eats the lion.[(triple14)] The squirrel is round.[(triple15)] @1: The lion chases the cow.[(((triple6) -> rule1))] @2: The lion eats the lion.[(((((triple6) -> rule1)) -> rule3))]