the tussah is side-to-side.
sent1: if the mujtihad is not individual and it does not Latinize it is not orthographic. sent2: the orthopteron is not non-ectomorphic if that the tussah crumbles pressmark hold. sent3: the tussah does not Latinize. sent4: if the mujtihad is uterine then it is a kind of an individual. sent5: if there are ectomorphic things the orthopteron is not orthographic and does not Latinize. sent6: if there exists something such that it is uterine then the mujtihad does not Latinize. sent7: the gall does Latinize if there is something such that that either it is not a pony or it is orthographic or both is right. sent8: the mujtihad is not a pony and/or it is orthographic. sent9: if something is not ectomorphic it crumbles pressmark and it is side-to-side. sent10: if something is uterine the mujtihad is not a kind of an individual and it does not Latinize. sent11: the mujtihad is orthographic. sent12: something is not a kind of an individual if it does Latinize. sent13: that the orthopteron is uterine and it is ectomorphic is false if the gall is not an individual. sent14: if the orthopteron is ectomorphic the fact that the gall is uterine is not incorrect. sent15: the tussah is ectomorphic if the orthopteron is side-to-side. sent16: the fact that the tussah crumbles pressmark is not false if it is side-to-side.
void -> assump1: Let's assume that the tussah is side-to-side.; sent16 & assump1 -> int1: the tussah crumbles pressmark.; int1 & sent2 -> int2: the orthopteron is ectomorphic.; int2 & sent14 -> int3: the gall is uterine.; int3 -> int4: there exists something such that the fact that it is uterine is true.; int4 & sent10 -> int5: the mujtihad is non-individual and it does not Latinize.; int5 & sent1 -> int6: the mujtihad is not orthographic.; int6 & sent11 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the tussah is side-to-side.
sent9 -> int8: if the tussah is not ectomorphic it crumbles pressmark and is side-to-side.; sent12 -> int9: if the gall does Latinize then it is not an individual.; sent8 -> int10: there is something such that it is not a pony and/or it is orthographic.; int10 & sent7 -> int11: the gall does Latinize.; int9 & int11 -> int12: the gall is not an individual.; sent13 & int12 -> int13: the fact that the orthopteron is uterine and it is ectomorphic does not hold.; int13 -> int14: there is something such that the fact that it is not non-uterine and not non-ectomorphic is false.;
$hypothesis$ = the tussah is side-to-side. ; $context$ = sent1: if the mujtihad is not individual and it does not Latinize it is not orthographic. sent2: the orthopteron is not non-ectomorphic if that the tussah crumbles pressmark hold. sent3: the tussah does not Latinize. sent4: if the mujtihad is uterine then it is a kind of an individual. sent5: if there are ectomorphic things the orthopteron is not orthographic and does not Latinize. sent6: if there exists something such that it is uterine then the mujtihad does not Latinize. sent7: the gall does Latinize if there is something such that that either it is not a pony or it is orthographic or both is right. sent8: the mujtihad is not a pony and/or it is orthographic. sent9: if something is not ectomorphic it crumbles pressmark and it is side-to-side. sent10: if something is uterine the mujtihad is not a kind of an individual and it does not Latinize. sent11: the mujtihad is orthographic. sent12: something is not a kind of an individual if it does Latinize. sent13: that the orthopteron is uterine and it is ectomorphic is false if the gall is not an individual. sent14: if the orthopteron is ectomorphic the fact that the gall is uterine is not incorrect. sent15: the tussah is ectomorphic if the orthopteron is side-to-side. sent16: the fact that the tussah crumbles pressmark is not false if it is side-to-side. ; $proof$ = 
void -> assump1: Let's assume that the tussah is side-to-side.; sent16 & assump1 -> int1: the tussah crumbles pressmark.; int1 & sent2 -> int2: the orthopteron is ectomorphic.; int2 & sent14 -> int3: the gall is uterine.; int3 -> int4: there exists something such that the fact that it is uterine is true.; int4 & sent10 -> int5: the mujtihad is non-individual and it does not Latinize.; int5 & sent1 -> int6: the mujtihad is not orthographic.; int6 & sent11 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__