the wardroom is not a belfry.
sent1: the prednisolone is not tidal. sent2: if that the wardroom is not a pitchman is true then that it does not unmask and it is harmonic is not right. sent3: the wardroom is not a pitchman. sent4: if the wardroom is not nonpolitical it is not a belfry. sent5: something does not unmask if it is not tidal. sent6: the wardroom is not concave if it is Andalusian. sent7: the wardroom is not tidal if that it is not seasonable and is not a belfry is wrong. sent8: if that something does not unmask but it is harmonic is not right it unmask. sent9: if the fact that that the wardroom does not unmask and it is not hypothalamic is not wrong is not right then it is not a kind of a waterskin. sent10: the fact that the wardroom is not harmonic is right if it is not substantival. sent11: the wardroom does not slime self-discovery. sent12: the buntal is not a belfry. sent13: the scrotum does not export and is not a pitchman. sent14: that the lechery is not a pitchman hold. sent15: that the wardroom is a crimson and it is a belfry is wrong. sent16: the dueler is not a kind of a belfry.
void -> assump1: Let's assume that the fact that the wardroom is not seasonable and it is not a kind of a belfry does not hold.; sent7 & assump1 -> int1: the wardroom is not tidal.; sent5 -> int2: the wardroom does not unmask if that it is not non-tidal is not correct.; int1 & int2 -> int3: the wardroom does not unmask.; sent8 -> int4: if the fact that the wardroom does not unmask and is harmonic does not hold then it unmask.; sent2 & sent3 -> int5: that the wardroom does not unmask but it is a harmonic does not hold.; int4 & int5 -> int6: the wardroom does unmask.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the wardroom is not seasonable and is not a kind of a belfry is not false.; int8 -> hypothesis;
$hypothesis$ = the wardroom is not a belfry. ; $context$ = sent1: the prednisolone is not tidal. sent2: if that the wardroom is not a pitchman is true then that it does not unmask and it is harmonic is not right. sent3: the wardroom is not a pitchman. sent4: if the wardroom is not nonpolitical it is not a belfry. sent5: something does not unmask if it is not tidal. sent6: the wardroom is not concave if it is Andalusian. sent7: the wardroom is not tidal if that it is not seasonable and is not a belfry is wrong. sent8: if that something does not unmask but it is harmonic is not right it unmask. sent9: if the fact that that the wardroom does not unmask and it is not hypothalamic is not wrong is not right then it is not a kind of a waterskin. sent10: the fact that the wardroom is not harmonic is right if it is not substantival. sent11: the wardroom does not slime self-discovery. sent12: the buntal is not a belfry. sent13: the scrotum does not export and is not a pitchman. sent14: that the lechery is not a pitchman hold. sent15: that the wardroom is a crimson and it is a belfry is wrong. sent16: the dueler is not a kind of a belfry. ; $proof$ = 
void -> assump1: Let's assume that the fact that the wardroom is not seasonable and it is not a kind of a belfry does not hold.; sent7 & assump1 -> int1: the wardroom is not tidal.; sent5 -> int2: the wardroom does not unmask if that it is not non-tidal is not correct.; int1 & int2 -> int3: the wardroom does not unmask.; sent8 -> int4: if the fact that the wardroom does not unmask and is harmonic does not hold then it unmask.; sent2 & sent3 -> int5: that the wardroom does not unmask but it is a harmonic does not hold.; int4 & int5 -> int6: the wardroom does unmask.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the wardroom is not seasonable and is not a kind of a belfry is not false.; int8 -> hypothesis; __PROVED__