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