the fact that if the fronting botulinus happens the Hispanic occurs is not true.
sent1: the lightning does not occur. sent2: that the fronting botulinus happens and the unquestionableness happens is not true. sent3: that the Hispanic does not occur is prevented by that not the fronting botulinus but the unquestionableness occurs. sent4: if the unquestionableness does not occur the rings happens and the fronting botulinus happens. sent5: the unquestionableness does not occur. sent6: the fact that the Hispanicness occurs is true if the fact that the fronting botulinus does not occur but the unquestionableness happens is not true. sent7: if that not the situation but the hiplessness occurs does not hold then that the organizationalness happens is not wrong. sent8: not the confusing crocolite but the repining missal happens. sent9: the repining missal occurs. sent10: if the confusing cementite occurs then the isolationist happens. sent11: the auroralness occurs. sent12: the Luxemburger occurs. sent13: not the entertaining but the aquaticness occurs.
void -> assump2: Let's assume that not the fronting botulinus but the unquestionableness happens.; assump2 -> int1: the fronting botulinus does not occur.; void -> assump1: Let's assume that the fronting botulinus happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that not the fronting botulinus but the unquestionableness happens is not true.; int3 & sent6 -> int4: the Hispanic happens.; [assump1] & int4 -> hypothesis;
the rings happens.
$hypothesis$ = the fact that if the fronting botulinus happens the Hispanic occurs is not true. ; $context$ = sent1: the lightning does not occur. sent2: that the fronting botulinus happens and the unquestionableness happens is not true. sent3: that the Hispanic does not occur is prevented by that not the fronting botulinus but the unquestionableness occurs. sent4: if the unquestionableness does not occur the rings happens and the fronting botulinus happens. sent5: the unquestionableness does not occur. sent6: the fact that the Hispanicness occurs is true if the fact that the fronting botulinus does not occur but the unquestionableness happens is not true. sent7: if that not the situation but the hiplessness occurs does not hold then that the organizationalness happens is not wrong. sent8: not the confusing crocolite but the repining missal happens. sent9: the repining missal occurs. sent10: if the confusing cementite occurs then the isolationist happens. sent11: the auroralness occurs. sent12: the Luxemburger occurs. sent13: not the entertaining but the aquaticness occurs. ; $proof$ = 
void -> assump2: Let's assume that not the fronting botulinus but the unquestionableness happens.; assump2 -> int1: the fronting botulinus does not occur.; void -> assump1: Let's assume that the fronting botulinus happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that not the fronting botulinus but the unquestionableness happens is not true.; int3 & sent6 -> int4: the Hispanic happens.; [assump1] & int4 -> hypothesis; __DISPROVED__