The lion chases the rabbit. The lion is green. The lion visits the rabbit. The rabbit chases the squirrel. The rabbit is young. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel chases the lion. The squirrel is round. The squirrel is young. The squirrel likes the lion. The squirrel likes the rabbit. If the lion chases the squirrel and the squirrel visits the lion then the squirrel chases the lion. If someone chases the squirrel then the squirrel is big. If someone is red and green then they like the lion. If someone chases the squirrel then they visit the squirrel. If someone is big then they visit the rabbit. If someone is round then they chase the lion.
The lion does not chase the lion.
@0: The lion chases the rabbit.[(triple1)] The lion is green.[(triple2)] The lion visits the rabbit.[(triple3)] The rabbit chases the squirrel.[(triple4)] The rabbit is young.[(triple5)] The rabbit likes the squirrel.[(triple6)] The rabbit visits the squirrel.[(triple7 OR ((triple4) -> rule4))] The squirrel chases the lion.[(triple8 OR ((triple9) -> rule6))] The squirrel is round.[(triple9)] The squirrel is young.[(triple10)] The squirrel likes the lion.[(triple11)] The squirrel likes the rabbit.[(triple12)] @1: The squirrel is big.[(((triple4) -> rule2))] @2: The squirrel visits the rabbit.[(((((triple4) -> rule2)) -> rule5))]