The rabbit does not chase the squirrel. The rabbit is blue. The rabbit is green. The rabbit is red. The rabbit likes the squirrel. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel is blue. The squirrel is green. The squirrel is red. The squirrel likes the rabbit. The squirrel sees the rabbit. If something is round then it does not like the rabbit. If something likes the rabbit and the rabbit does not chase the squirrel then it is not round. If something is round and it does not see the squirrel then the squirrel sees the rabbit. If something is red and it likes the squirrel then it is nice. If the rabbit sees the squirrel and the rabbit chases the squirrel then the rabbit is red. If something is red and it does not like the rabbit then the rabbit is red.
The rabbit sees the rabbit.
@0: The rabbit does not chase the squirrel.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is green.[(triple3)] The rabbit is red.[(triple4)] The rabbit likes the squirrel.[(triple5)] The rabbit sees the squirrel.[(triple6)] The squirrel chases the rabbit.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is green.[(triple9)] The squirrel is red.[(triple10)] The squirrel likes the rabbit.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The rabbit is nice.[(((triple4 triple5) -> rule4))] The squirrel is not round.[(((triple11 triple1) -> rule2))]