the fact that the lambrequin is not a fettle and not intelligent if the main-topmast does not overtake does not hold.
sent1: the containership is not a stronghold if there is something such that the fact that it is a stronghold and is aptitudinal is not true. sent2: there exists something such that it is a kind of a fettle that is a faithful. sent3: something does overtake and it is a stronghold. sent4: the peculiarity is non-basidial. sent5: there is something such that that it is both a stronghold and aptitudinal is incorrect. sent6: if the fact that the lambrequin is not a kind of a stronghold is not incorrect then the containership is not a fettle. sent7: if the main-topmast does not overtake the lambrequin is unintelligent thing that is not faithful. sent8: that the main-topmast is not calycular is not false. sent9: if the lambrequin is not a stronghold then the containership is not intelligent. sent10: if the fact that the containership is not a stronghold is true then the lambrequin does not fettle.
void -> assump1: Let's assume that that the main-topmast does not overtake hold.; sent7 & assump1 -> int1: the lambrequin is not intelligent and it is not a faithful.; int1 -> int2: the lambrequin is not intelligent.; sent5 & sent1 -> int3: the containership is not a stronghold.; sent10 & int3 -> int4: the lambrequin is not a fettle.; int2 & int4 -> int5: the lambrequin is not a fettle and is not intelligent.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the lambrequin is not a fettle and not intelligent if the main-topmast does not overtake does not hold. ; $context$ = sent1: the containership is not a stronghold if there is something such that the fact that it is a stronghold and is aptitudinal is not true. sent2: there exists something such that it is a kind of a fettle that is a faithful. sent3: something does overtake and it is a stronghold. sent4: the peculiarity is non-basidial. sent5: there is something such that that it is both a stronghold and aptitudinal is incorrect. sent6: if the fact that the lambrequin is not a kind of a stronghold is not incorrect then the containership is not a fettle. sent7: if the main-topmast does not overtake the lambrequin is unintelligent thing that is not faithful. sent8: that the main-topmast is not calycular is not false. sent9: if the lambrequin is not a stronghold then the containership is not intelligent. sent10: if the fact that the containership is not a stronghold is true then the lambrequin does not fettle. ; $proof$ = 
void -> assump1: Let's assume that that the main-topmast does not overtake hold.; sent7 & assump1 -> int1: the lambrequin is not intelligent and it is not a faithful.; int1 -> int2: the lambrequin is not intelligent.; sent5 & sent1 -> int3: the containership is not a stronghold.; sent10 & int3 -> int4: the lambrequin is not a fettle.; int2 & int4 -> int5: the lambrequin is not a fettle and is not intelligent.; [assump1] & int5 -> hypothesis; __DISPROVED__