the fact that the poler does not utter rhinotomy if the letterhead is both not a Geraint and Belarusian is not correct.
sent1: the letterhead is both a Belarusian and not a Florey if the train is not a Belarusian. sent2: the poler is a Florey. sent3: if the letterhead is not a Geraint then the train is a kind of a Geraint. sent4: the train is not a Geraint if the letterhead is not a kind of a Belarusian and utters rhinotomy. sent5: the cupcake is a Geraint. sent6: something is nonhierarchical. sent7: if the letterhead is a Geraint then the train is a Geraint but it is not a Florey. sent8: the train is not a Geraint if the letterhead is not a Belarusian but it is a Florey. sent9: the train is a Geraint and does not utter rhinotomy. sent10: the train is a kind of a Geraint but it is not a Florey if the letterhead is not a kind of a Geraint. sent11: the fondant does utter rhinotomy. sent12: there exists something such that it dates Stern and it is not a gumbo. sent13: there exists something such that that it utters train is true. sent14: the train does not utter rhinotomy if the poler is not a Florey and is a Belarusian. sent15: the poler does not utter rhinotomy if something that is a kind of a Geraint is not a Florey. sent16: the letterhead is both a Geraint and not a Florey if the train is not a Geraint. sent17: the train is not Belarusian. sent18: that the letterhead does not date ungodliness is correct. sent19: there exists something such that it is a Geraint and does utter rhinotomy. sent20: there exists something such that it is not a osculation.
void -> assump1: Let's assume that the letterhead is not a Geraint but it is a kind of a Belarusian.; assump1 -> int1: the letterhead is not a Geraint.; sent10 & int1 -> int2: the train is a kind of a Geraint but it is not a Florey.; int2 -> int3: there exists something such that it is a Geraint and is not a Florey.; int3 & sent15 -> int4: the poler does not utter rhinotomy.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that the poler does not utter rhinotomy if the letterhead is both not a Geraint and Belarusian is not correct. ; $context$ = sent1: the letterhead is both a Belarusian and not a Florey if the train is not a Belarusian. sent2: the poler is a Florey. sent3: if the letterhead is not a Geraint then the train is a kind of a Geraint. sent4: the train is not a Geraint if the letterhead is not a kind of a Belarusian and utters rhinotomy. sent5: the cupcake is a Geraint. sent6: something is nonhierarchical. sent7: if the letterhead is a Geraint then the train is a Geraint but it is not a Florey. sent8: the train is not a Geraint if the letterhead is not a Belarusian but it is a Florey. sent9: the train is a Geraint and does not utter rhinotomy. sent10: the train is a kind of a Geraint but it is not a Florey if the letterhead is not a kind of a Geraint. sent11: the fondant does utter rhinotomy. sent12: there exists something such that it dates Stern and it is not a gumbo. sent13: there exists something such that that it utters train is true. sent14: the train does not utter rhinotomy if the poler is not a Florey and is a Belarusian. sent15: the poler does not utter rhinotomy if something that is a kind of a Geraint is not a Florey. sent16: the letterhead is both a Geraint and not a Florey if the train is not a Geraint. sent17: the train is not Belarusian. sent18: that the letterhead does not date ungodliness is correct. sent19: there exists something such that it is a Geraint and does utter rhinotomy. sent20: there exists something such that it is not a osculation. ; $proof$ = 
void -> assump1: Let's assume that the letterhead is not a Geraint but it is a kind of a Belarusian.; assump1 -> int1: the letterhead is not a Geraint.; sent10 & int1 -> int2: the train is a kind of a Geraint but it is not a Florey.; int2 -> int3: there exists something such that it is a Geraint and is not a Florey.; int3 & sent15 -> int4: the poler does not utter rhinotomy.; [assump1] & int4 -> hypothesis; __DISPROVED__