The rabbit likes the squirrel. The squirrel chases the rabbit. If something likes the squirrel and it chases the squirrel then the squirrel is big. If the squirrel is nice and the squirrel is blue then the squirrel is kind. If the squirrel visits the rabbit then the squirrel likes the rabbit. If something chases the squirrel and the squirrel visits the rabbit then the squirrel is kind. If the rabbit visits the squirrel then the squirrel is kind. If something chases the rabbit then it likes the squirrel. If something is big then it visits the rabbit. If the squirrel likes the rabbit and the squirrel chases the rabbit then the squirrel is big.
The rabbit does not like the squirrel.
@0: The rabbit likes the squirrel.[(triple1)] The squirrel chases the rabbit.[(triple2)] @1: The squirrel likes the squirrel.[(((triple2) -> rule6))]