the octangularness happens.
sent1: if the X-ray does not occur the immortalizing nine-spot occurs and the deducing highway happens. sent2: the scandal occurs if the mistake happens. sent3: if the unawareness happens and the anaphylacticness happens then the immortalizing nine-spot does not occur. sent4: the adaptation happens. sent5: the transferring happens and the immortalizing dysentery happens. sent6: that the X-ray occurs is prevented by that the transfer occurs and the immortalizing dysentery happens. sent7: both the immortalizing Hebei and the unawareness happens if the influence does not occur. sent8: both the adventitialness and the mistake happens if the anaphylacticness does not occur. sent9: the unawareness happens and the influencing happens.
sent9 -> int1: the fact that the unawareness occurs is right.; void -> assump1: Let's assume that the anaphylacticness occurs.; int1 & assump1 -> int2: both the unawareness and the anaphylacticness occurs.; int2 & sent3 -> int3: the immortalizing nine-spot does not occur.; sent6 & sent5 -> int4: the X-ray does not occur.; sent1 & int4 -> int5: the immortalizing nine-spot occurs and the deducing highway happens.; int5 -> int6: the immortalizing nine-spot occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the anaphylacticness does not occur.; int8 & sent8 -> int9: the adventitialness occurs and the mistaking happens.; int9 -> int10: the mistake happens.; int10 & sent2 -> int11: the scandal happens.;
the immortalizing tidewater happens and the immortalizing Hebei occurs.
$hypothesis$ = the octangularness happens. ; $context$ = sent1: if the X-ray does not occur the immortalizing nine-spot occurs and the deducing highway happens. sent2: the scandal occurs if the mistake happens. sent3: if the unawareness happens and the anaphylacticness happens then the immortalizing nine-spot does not occur. sent4: the adaptation happens. sent5: the transferring happens and the immortalizing dysentery happens. sent6: that the X-ray occurs is prevented by that the transfer occurs and the immortalizing dysentery happens. sent7: both the immortalizing Hebei and the unawareness happens if the influence does not occur. sent8: both the adventitialness and the mistake happens if the anaphylacticness does not occur. sent9: the unawareness happens and the influencing happens. ; $proof$ = 
sent9 -> int1: the fact that the unawareness occurs is right.; void -> assump1: Let's assume that the anaphylacticness occurs.; int1 & assump1 -> int2: both the unawareness and the anaphylacticness occurs.; int2 & sent3 -> int3: the immortalizing nine-spot does not occur.; sent6 & sent5 -> int4: the X-ray does not occur.; sent1 & int4 -> int5: the immortalizing nine-spot occurs and the deducing highway happens.; int5 -> int6: the immortalizing nine-spot occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the anaphylacticness does not occur.; int8 & sent8 -> int9: the adventitialness occurs and the mistaking happens.; int9 -> int10: the mistake happens.; int10 & sent2 -> int11: the scandal happens.; __UNKNOWN__