the falangist is not a kind of a Mergenthaler.
sent1: the turnspit is isotropic. sent2: the vertebra is not a kind of a prosiness. sent3: the falangist is not a Mergenthaler if there exists something such that it does denationalize solute and it is not a kind of a prosiness. sent4: the turnspit is a checkered and is not a Leto if it is isotropic. sent5: if something does emote presentism it is a kind of a Mergenthaler. sent6: the Gongorist is isotropic. sent7: the vertebra denationalizes solute and is not a kind of a prosiness if there exists something such that it is tuberous. sent8: something is a kind of a scalar if it checkers and it is not a Leto. sent9: if the turnspit is a scalar then the cooling is not a double. sent10: if the cooling is not a kind of a double but it does emote presentism it is tuberous. sent11: if the turnspit is a scalar the cooling is not a kind of a double but it does emote presentism. sent12: something does denationalize solute.
sent8 -> int1: if the turnspit does checker but it is not a Leto then it is a scalar.; sent4 & sent1 -> int2: the turnspit is a checkered but it is not a kind of a Leto.; int1 & int2 -> int3: the turnspit is a scalar.; int3 & sent11 -> int4: the cooling is not a kind of a double and does emote presentism.; int4 & sent10 -> int5: the cooling is tuberous.; int5 -> int6: there is something such that the fact that it is tuberous is not false.; int6 & sent7 -> int7: the vertebra denationalizes solute but it is not a prosiness.; int7 -> int8: something does denationalize solute and is not a kind of a prosiness.; int8 & sent3 -> hypothesis;
the falangist is a Mergenthaler.
sent5 -> int9: if the falangist does emote presentism it is a kind of a Mergenthaler.;
$hypothesis$ = the falangist is not a kind of a Mergenthaler. ; $context$ = sent1: the turnspit is isotropic. sent2: the vertebra is not a kind of a prosiness. sent3: the falangist is not a Mergenthaler if there exists something such that it does denationalize solute and it is not a kind of a prosiness. sent4: the turnspit is a checkered and is not a Leto if it is isotropic. sent5: if something does emote presentism it is a kind of a Mergenthaler. sent6: the Gongorist is isotropic. sent7: the vertebra denationalizes solute and is not a kind of a prosiness if there exists something such that it is tuberous. sent8: something is a kind of a scalar if it checkers and it is not a Leto. sent9: if the turnspit is a scalar then the cooling is not a double. sent10: if the cooling is not a kind of a double but it does emote presentism it is tuberous. sent11: if the turnspit is a scalar the cooling is not a kind of a double but it does emote presentism. sent12: something does denationalize solute. ; $proof$ = 
sent8 -> int1: if the turnspit does checker but it is not a Leto then it is a scalar.; sent4 & sent1 -> int2: the turnspit is a checkered but it is not a kind of a Leto.; int1 & int2 -> int3: the turnspit is a scalar.; int3 & sent11 -> int4: the cooling is not a kind of a double and does emote presentism.; int4 & sent10 -> int5: the cooling is tuberous.; int5 -> int6: there is something such that the fact that it is tuberous is not false.; int6 & sent7 -> int7: the vertebra denationalizes solute but it is not a prosiness.; int7 -> int8: something does denationalize solute and is not a kind of a prosiness.; int8 & sent3 -> hypothesis; __PROVED__