the battlesight is not a holocaust or it smocks oddity or both.
sent1: the battlesight is a holocaust if the doorplate is not a holocaust. sent2: that something masses and it smocks oddity is wrong if it is not most-favored-nation. sent3: the propane is a caterer if the doorplate is not a caterer and/or it is not a holocaust. sent4: if the doorplate is not a holocaust that the battlesight is not a kind of a holocaust and/or it does smock oddity is wrong. sent5: if the fact that the justice masses and it does smock oddity does not hold the doorplate is not a kind of a caterer. sent6: the fact that the justice is not a caterer hold. sent7: if the doorplate is a kind of a holocaust then the justice is a caterer. sent8: the battlesight is a holocaust.
void -> assump1: Let's assume that the doorplate is a holocaust.; sent7 & assump1 -> int1: the justice is a kind of a caterer.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the doorplate is not a holocaust.; int3 & sent4 -> hypothesis;
the propane is a kind of a caterer.
sent2 -> int4: that the justice is a kind of a mass and it smocks oddity does not hold if it is not most-favored-nation.;
$hypothesis$ = the battlesight is not a holocaust or it smocks oddity or both. ; $context$ = sent1: the battlesight is a holocaust if the doorplate is not a holocaust. sent2: that something masses and it smocks oddity is wrong if it is not most-favored-nation. sent3: the propane is a caterer if the doorplate is not a caterer and/or it is not a holocaust. sent4: if the doorplate is not a holocaust that the battlesight is not a kind of a holocaust and/or it does smock oddity is wrong. sent5: if the fact that the justice masses and it does smock oddity does not hold the doorplate is not a kind of a caterer. sent6: the fact that the justice is not a caterer hold. sent7: if the doorplate is a kind of a holocaust then the justice is a caterer. sent8: the battlesight is a holocaust. ; $proof$ = 
void -> assump1: Let's assume that the doorplate is a holocaust.; sent7 & assump1 -> int1: the justice is a kind of a caterer.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the doorplate is not a holocaust.; int3 & sent4 -> hypothesis; __DISPROVED__