The rabbit chases the squirrel. The rabbit is blue. The rabbit is cold. The rabbit is not young. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel is cold. The squirrel is kind. The squirrel is rough. The squirrel needs the rabbit. The squirrel sees the rabbit. If something needs the rabbit then it chases the rabbit. If something is rough and it chases the rabbit then the rabbit needs the squirrel. If the rabbit is kind then the rabbit chases the squirrel. If something is kind then it sees the squirrel. If something needs the rabbit and the rabbit does not see the squirrel then it does not need the squirrel. If the rabbit needs the squirrel and the squirrel does not chase the rabbit then the rabbit is blue. If the squirrel chases the rabbit and the squirrel does not need the rabbit then the squirrel does not see the rabbit. If something needs the squirrel then the squirrel sees the rabbit.
The rabbit does not see the squirrel.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is not young.[(triple4)] The rabbit needs the squirrel.[(triple5 OR ((triple10 triple7) -> rule2) OR ((triple10 ((triple11) -> rule1)) -> rule2))] The rabbit sees the squirrel.[(triple6)] The squirrel chases the rabbit.[(triple7 OR ((triple11) -> rule1))] The squirrel is cold.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is rough.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel sees the rabbit.[(triple12 OR ((triple5) -> rule8) OR ((((triple10 triple7) -> rule2)) -> rule8) OR ((((triple10 ((triple11) -> rule1)) -> rule2)) -> rule8))] @1: The squirrel sees the squirrel.[(((triple9) -> rule4))]