that the ma blinkers sail and/or does queue rusher if the rusher is not a Sontag is false.
sent1: the monarchist is not a kind of a Sontag. sent2: if the rusher is a chanfron then that the disaccharidase is a Sontag is not incorrect. sent3: the ma is a chanfron. sent4: the disaccharidase is not a Sontag. sent5: the rusher does blinker sail and/or it is a Sontag. sent6: the monarchist is not non-romaic or is a kind of a ungulate or both if the fact that it is not a tucker is not incorrect. sent7: if the monarchist is not a ungulate then that it queues rusher and/or it is romaic is true. sent8: the disaccharidase queues rusher. sent9: the rusher is not romaic. sent10: the ma queues rusher if the disaccharidase is a chanfron. sent11: the fact that the rusher is a Sontag if the monarchist is romaic is not incorrect. sent12: the monarchist is not on-site. sent13: if the fact that the disaccharidase does not blinker sail hold then the ma is a chanfron and/or is a Sontag. sent14: the disaccharidase is not romaic. sent15: the rusher is a Sontag if the monarchist is a ungulate. sent16: the disaccharidase is a kind of a chanfron if the monarchist is a tucker. sent17: the ma blinkers sail and/or it queues rusher if the rusher is a Sontag.
void -> assump1: Let's assume that the monarchist is not a tucker.; sent6 & assump1 -> int1: the monarchist is romaic or it is a ungulate or both.; int1 & sent11 & sent15 -> int2: the rusher is a Sontag.; void -> assump2: Let's assume that the rusher is not a Sontag.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the monarchist is a kind of a tucker.; sent16 & int4 -> int5: the disaccharidase is a kind of a chanfron.; sent10 & int5 -> int6: the ma queues rusher.; int6 -> int7: the ma blinkers sail or it queues rusher or both.; [assump2] & int7 -> hypothesis;
$hypothesis$ = that the ma blinkers sail and/or does queue rusher if the rusher is not a Sontag is false. ; $context$ = sent1: the monarchist is not a kind of a Sontag. sent2: if the rusher is a chanfron then that the disaccharidase is a Sontag is not incorrect. sent3: the ma is a chanfron. sent4: the disaccharidase is not a Sontag. sent5: the rusher does blinker sail and/or it is a Sontag. sent6: the monarchist is not non-romaic or is a kind of a ungulate or both if the fact that it is not a tucker is not incorrect. sent7: if the monarchist is not a ungulate then that it queues rusher and/or it is romaic is true. sent8: the disaccharidase queues rusher. sent9: the rusher is not romaic. sent10: the ma queues rusher if the disaccharidase is a chanfron. sent11: the fact that the rusher is a Sontag if the monarchist is romaic is not incorrect. sent12: the monarchist is not on-site. sent13: if the fact that the disaccharidase does not blinker sail hold then the ma is a chanfron and/or is a Sontag. sent14: the disaccharidase is not romaic. sent15: the rusher is a Sontag if the monarchist is a ungulate. sent16: the disaccharidase is a kind of a chanfron if the monarchist is a tucker. sent17: the ma blinkers sail and/or it queues rusher if the rusher is a Sontag. ; $proof$ = 
void -> assump1: Let's assume that the monarchist is not a tucker.; sent6 & assump1 -> int1: the monarchist is romaic or it is a ungulate or both.; int1 & sent11 & sent15 -> int2: the rusher is a Sontag.; void -> assump2: Let's assume that the rusher is not a Sontag.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the monarchist is a kind of a tucker.; sent16 & int4 -> int5: the disaccharidase is a kind of a chanfron.; sent10 & int5 -> int6: the ma queues rusher.; int6 -> int7: the ma blinkers sail or it queues rusher or both.; [assump2] & int7 -> hypothesis; __DISPROVED__