the tornado is immiscible.
sent1: if something outgrows miser that it is immiscible is true. sent2: if the fact that the sparerib is not alliaceous or not infectious or both is wrong the gonad is not a kind of a Blucher. sent3: the fact that the sparerib is alliaceous is true. sent4: if the tornado does not outgrow miser then the gonad is resident and it is a SC. sent5: the fact that the gonad does not outgrow miser and is immiscible is false if the sparerib is not a Blucher. sent6: if something is not a kind of a Blucher it outgrows miser and it is a SC. sent7: there exists nothing that is not alliaceous and/or is noninfectious. sent8: the gonad is a Blucher if it is a kind of a resident.
void -> assump1: Let's assume that the tornado does not outgrow miser.; sent4 & assump1 -> int1: the gonad is a resident that is a SC.; int1 -> int2: the gonad is resident.; int2 & sent8 -> int3: the gonad is a kind of a Blucher.; sent7 -> int4: that the sparerib is not alliaceous and/or is noninfectious is not correct.; sent2 & int4 -> int5: the gonad is not a Blucher.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the tornado does outgrow miser.; sent1 -> int8: the tornado is immiscible if the fact that it does outgrow miser is not incorrect.; int7 & int8 -> hypothesis;
the sparerib is a SC.
sent6 -> int9: the tornado outgrows miser and it is a kind of a SC if it is not a Blucher.;
$hypothesis$ = the tornado is immiscible. ; $context$ = sent1: if something outgrows miser that it is immiscible is true. sent2: if the fact that the sparerib is not alliaceous or not infectious or both is wrong the gonad is not a kind of a Blucher. sent3: the fact that the sparerib is alliaceous is true. sent4: if the tornado does not outgrow miser then the gonad is resident and it is a SC. sent5: the fact that the gonad does not outgrow miser and is immiscible is false if the sparerib is not a Blucher. sent6: if something is not a kind of a Blucher it outgrows miser and it is a SC. sent7: there exists nothing that is not alliaceous and/or is noninfectious. sent8: the gonad is a Blucher if it is a kind of a resident. ; $proof$ = 
void -> assump1: Let's assume that the tornado does not outgrow miser.; sent4 & assump1 -> int1: the gonad is a resident that is a SC.; int1 -> int2: the gonad is resident.; int2 & sent8 -> int3: the gonad is a kind of a Blucher.; sent7 -> int4: that the sparerib is not alliaceous and/or is noninfectious is not correct.; sent2 & int4 -> int5: the gonad is not a Blucher.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the tornado does outgrow miser.; sent1 -> int8: the tornado is immiscible if the fact that it does outgrow miser is not incorrect.; int7 & int8 -> hypothesis; __PROVED__