the fact that the Federalist is Christological and is an earner is not true.
sent1: the flatiron is a beldam. sent2: the fact that the typist raises but it is not a decasyllable is not right if the Federalist is not Christological. sent3: if something is not Christological it is both a sourdough and a temporal. sent4: if there exists something such that it is a pollination then the flatiron is a beldam. sent5: the flatiron is an earner if the typist is an earner. sent6: if there exists something such that the fact that it is an earner is true then the Federalist is a beldam. sent7: the typist is a raising. sent8: there exists something such that it is a kind of a pollination. sent9: the typist is not a decasyllable. sent10: the fact that the typist is a decasyllable but it is not a kind of an earner does not hold. sent11: the Federalist is a kind of an earner if the flatiron is an earner. sent12: if the fact that something is a kind of a pollination and/or is not a beldam is incorrect it is not an earner. sent13: the flatiron is a raising. sent14: if there exists something such that the fact that it is a kind of a pollination is true then the flatiron is a beldam and an earner.
void -> assump1: Let's assume that the Federalist is not Christological.; sent2 & assump1 -> int1: the fact that the typist is a raising but it is not a decasyllable is false.; sent7 & sent9 -> int2: the typist is both a raising and not a decasyllable.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Federalist is Christological.; sent8 & sent14 -> int5: the flatiron is a beldam and an earner.; int5 -> int6: the flatiron is a kind of an earner.; sent11 & int6 -> int7: the Federalist is an earner.; int4 & int7 -> hypothesis;
the handsaw is a kind of a sourdough and it is a temporal.
sent3 -> int8: if the handsaw is not Christological then it is a kind of a sourdough that is a kind of a temporal.;
$hypothesis$ = the fact that the Federalist is Christological and is an earner is not true. ; $context$ = sent1: the flatiron is a beldam. sent2: the fact that the typist raises but it is not a decasyllable is not right if the Federalist is not Christological. sent3: if something is not Christological it is both a sourdough and a temporal. sent4: if there exists something such that it is a pollination then the flatiron is a beldam. sent5: the flatiron is an earner if the typist is an earner. sent6: if there exists something such that the fact that it is an earner is true then the Federalist is a beldam. sent7: the typist is a raising. sent8: there exists something such that it is a kind of a pollination. sent9: the typist is not a decasyllable. sent10: the fact that the typist is a decasyllable but it is not a kind of an earner does not hold. sent11: the Federalist is a kind of an earner if the flatiron is an earner. sent12: if the fact that something is a kind of a pollination and/or is not a beldam is incorrect it is not an earner. sent13: the flatiron is a raising. sent14: if there exists something such that the fact that it is a kind of a pollination is true then the flatiron is a beldam and an earner. ; $proof$ = 
void -> assump1: Let's assume that the Federalist is not Christological.; sent2 & assump1 -> int1: the fact that the typist is a raising but it is not a decasyllable is false.; sent7 & sent9 -> int2: the typist is both a raising and not a decasyllable.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Federalist is Christological.; sent8 & sent14 -> int5: the flatiron is a beldam and an earner.; int5 -> int6: the flatiron is a kind of an earner.; sent11 & int6 -> int7: the Federalist is an earner.; int4 & int7 -> hypothesis; __DISPROVED__