the fact that the abjuring untrustworthiness does not occur and the algometricness does not occur is not true.
sent1: the abjuring untrustworthiness occurs if the preserving Belonidae does not occur. sent2: if the fact that the eyedrop does not occur hold then the abjuring untrustworthiness does not occur. sent3: the resigning does not occur if the fact that the resigning but not the preserving Belonidae occurs is not true. sent4: the unlikableness happens if that the abjuring soup-strainer happens is not wrong. sent5: the insemination does not occur. sent6: the popery does not occur. sent7: the fact that the preserving deanship does not occur and the unlikableness does not occur is not false. sent8: the fact that the algometricness does not occur and the insemination does not occur is not incorrect if the popery does not occur. sent9: if that the abjuring soup-strainer does not occur hold then the preserving Belonidae does not occur and/or the eyedrop does not occur. sent10: if that the preserving Belonidae does not occur is not false the abjuring untrustworthiness does not occur. sent11: if the traffic does not occur then the interception does not occur.
void -> assump1: Let's assume that the abjuring soup-strainer happens.; sent4 & assump1 -> int1: the unlikableness happens.; sent7 -> int2: the unlikableness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the abjuring soup-strainer does not occur is not incorrect.; int4 & sent9 -> int5: either the preserving Belonidae does not occur or the eyedrop does not occur or both.; int5 & sent10 & sent2 -> int6: the abjuring untrustworthiness does not occur.; sent8 & sent6 -> int7: the algometricness does not occur and the insemination does not occur.; int7 -> int8: the algometricness does not occur.; int6 & int8 -> hypothesis;
that the abjuring untrustworthiness does not occur and the algometricness does not occur is false.
 -> hypothesis;
$hypothesis$ = the fact that the abjuring untrustworthiness does not occur and the algometricness does not occur is not true. ; $context$ = sent1: the abjuring untrustworthiness occurs if the preserving Belonidae does not occur. sent2: if the fact that the eyedrop does not occur hold then the abjuring untrustworthiness does not occur. sent3: the resigning does not occur if the fact that the resigning but not the preserving Belonidae occurs is not true. sent4: the unlikableness happens if that the abjuring soup-strainer happens is not wrong. sent5: the insemination does not occur. sent6: the popery does not occur. sent7: the fact that the preserving deanship does not occur and the unlikableness does not occur is not false. sent8: the fact that the algometricness does not occur and the insemination does not occur is not incorrect if the popery does not occur. sent9: if that the abjuring soup-strainer does not occur hold then the preserving Belonidae does not occur and/or the eyedrop does not occur. sent10: if that the preserving Belonidae does not occur is not false the abjuring untrustworthiness does not occur. sent11: if the traffic does not occur then the interception does not occur. ; $proof$ = 
void -> assump1: Let's assume that the abjuring soup-strainer happens.; sent4 & assump1 -> int1: the unlikableness happens.; sent7 -> int2: the unlikableness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the abjuring soup-strainer does not occur is not incorrect.; int4 & sent9 -> int5: either the preserving Belonidae does not occur or the eyedrop does not occur or both.; int5 & sent10 & sent2 -> int6: the abjuring untrustworthiness does not occur.; sent8 & sent6 -> int7: the algometricness does not occur and the insemination does not occur.; int7 -> int8: the algometricness does not occur.; int6 & int8 -> hypothesis; __DISPROVED__