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