that the Tudor thinks strider and/or is not a despair is false.
sent1: that if the fact that the Tudor is a kind of the flyweight but it is not aldermanic is false the Tudor is aldermanic is right. sent2: if there exists something such that it does not misrepresent then the fact that the quince does misrepresent and is a flyweight is not true. sent3: if the fact that something misrepresents and is a flyweight is not true then the fact that it is a kind of a flyweight is not right. sent4: if the Carthusian is non-intrapulmonary the Tudor is not uncontroversial and does post marcel. sent5: the Tudor thinks strider or it despairs or both. sent6: that the Tudor is a flyweight but it is not aldermanic is not true. sent7: the fact that something is aldermanic or it is not a kind of a Philippians or both does not hold if it is not a flyweight. sent8: if the Carthusian does not birdnest then that it is not intrapulmonary is true. sent9: the Tudor is not aldermanic if the fact that it thinks strider and/or is not a despair is wrong. sent10: the Tudor is not aldermanic if the fact that it thinks strider and/or it does despair is not right. sent11: the gust is not a flyweight. sent12: something does not misrepresent if it is not uncontroversial. sent13: if the Carthusian does not misrepresent and it is not a kind of a flyweight then the Tudor is a kind of a flyweight.
void -> assump1: Let's assume that the fact that the Tudor does think strider or does not despair or both is not right.; sent9 & assump1 -> int1: the Tudor is not aldermanic.; sent1 & sent6 -> int2: the Tudor is aldermanic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
that the Tudor does think strider and/or does not despair is not true.
$hypothesis$ = that the Tudor thinks strider and/or is not a despair is false. ; $context$ = sent1: that if the fact that the Tudor is a kind of the flyweight but it is not aldermanic is false the Tudor is aldermanic is right. sent2: if there exists something such that it does not misrepresent then the fact that the quince does misrepresent and is a flyweight is not true. sent3: if the fact that something misrepresents and is a flyweight is not true then the fact that it is a kind of a flyweight is not right. sent4: if the Carthusian is non-intrapulmonary the Tudor is not uncontroversial and does post marcel. sent5: the Tudor thinks strider or it despairs or both. sent6: that the Tudor is a flyweight but it is not aldermanic is not true. sent7: the fact that something is aldermanic or it is not a kind of a Philippians or both does not hold if it is not a flyweight. sent8: if the Carthusian does not birdnest then that it is not intrapulmonary is true. sent9: the Tudor is not aldermanic if the fact that it thinks strider and/or is not a despair is wrong. sent10: the Tudor is not aldermanic if the fact that it thinks strider and/or it does despair is not right. sent11: the gust is not a flyweight. sent12: something does not misrepresent if it is not uncontroversial. sent13: if the Carthusian does not misrepresent and it is not a kind of a flyweight then the Tudor is a kind of a flyweight. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Tudor does think strider or does not despair or both is not right.; sent9 & assump1 -> int1: the Tudor is not aldermanic.; sent1 & sent6 -> int2: the Tudor is aldermanic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__