The rabbit is blue. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit is young. The rabbit likes the squirrel. The rabbit needs the squirrel. The rabbit does not see the squirrel. The squirrel is not blue. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel likes the rabbit. The squirrel needs the rabbit. The squirrel sees the rabbit. If something is young and not red then it does not see the rabbit. If something sees the rabbit then it needs the squirrel. If the rabbit is rough then the rabbit is blue. If something needs the rabbit and it does not see the rabbit then it sees the squirrel. If something needs the squirrel then it does not see the squirrel. If the squirrel likes the rabbit and the rabbit does not see the squirrel then the squirrel is not blue.
The squirrel is not young.
@0: The rabbit does not see the squirrel.[(triple8 OR ((triple7) -> rule5))] The rabbit is blue.[(triple1 OR ((triple4) -> rule3))] The rabbit is kind.[(triple2)] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5)] The rabbit likes the squirrel.[(triple6)] The rabbit needs the squirrel.[(triple7)] The squirrel is kind.[(triple10)] The squirrel is not blue.[(triple9 OR ((triple14 triple8) -> rule6) OR ((triple14 ((triple7) -> rule5)) -> rule6))] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the rabbit.[(triple14)] The squirrel needs the rabbit.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The squirrel needs the squirrel.[(((triple16) -> rule2))] @2: The squirrel does not see the squirrel.[(((((triple16) -> rule2)) -> rule5))]