that there exists something such that if it is a kind of a phrase it is not proud is false.
sent1: that something is disjunct thing that is incommutable is true. sent2: something subtilizes if that it is both a borosilicate and sociobiologic is true. sent3: the spawner is incommutable if a lesbianism is an epigram. sent4: the DSL is proud. sent5: something is not textual if it is a kind of cardiographic thing that assembles Vidal. sent6: there exists something such that if it is unsuccessful it is not inland. sent7: there is something such that it is a kind of a lesbianism. sent8: the spawner is a kind of a jockey. sent9: if there is something such that it is disjunct and it is incommutable the spawner is a kind of a littoral. sent10: the cut is not proud if it is a kind of Congolese thing that is not inoperable. sent11: if something refrains bimillennium and is sociobiologic then the fact that it is not a oxygenation is correct. sent12: there exists something such that if it is not inhospitable it is not a July. sent13: if a littoral is proud then it does not phrase. sent14: the schizanthus is not a leak if it refrains abracadabra and it is astigmatic. sent15: there exists something such that it is incommutable. sent16: if there exists something such that it is a barrel that is proud then the spawner is unsuccessful. sent17: the eyelash is a kind of a phrase.
sent1 & sent9 -> int1: the spawner is a littoral.; void -> assump2: Let's assume that the spawner is proud.; int1 & assump2 -> int2: the spawner is a littoral and it is proud.; sent13 -> int3: the spawner is not a kind of a phrase if it is a littoral and it is proud.; int2 & int3 -> int4: the spawner is not a phrase.; void -> assump1: Let's assume that the spawner does phrase.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the spawner is not proud.; [assump1] & int6 -> int7: if the spawner does phrase then that it is not proud is not false.; int7 -> hypothesis;
$hypothesis$ = that there exists something such that if it is a kind of a phrase it is not proud is false. ; $context$ = sent1: that something is disjunct thing that is incommutable is true. sent2: something subtilizes if that it is both a borosilicate and sociobiologic is true. sent3: the spawner is incommutable if a lesbianism is an epigram. sent4: the DSL is proud. sent5: something is not textual if it is a kind of cardiographic thing that assembles Vidal. sent6: there exists something such that if it is unsuccessful it is not inland. sent7: there is something such that it is a kind of a lesbianism. sent8: the spawner is a kind of a jockey. sent9: if there is something such that it is disjunct and it is incommutable the spawner is a kind of a littoral. sent10: the cut is not proud if it is a kind of Congolese thing that is not inoperable. sent11: if something refrains bimillennium and is sociobiologic then the fact that it is not a oxygenation is correct. sent12: there exists something such that if it is not inhospitable it is not a July. sent13: if a littoral is proud then it does not phrase. sent14: the schizanthus is not a leak if it refrains abracadabra and it is astigmatic. sent15: there exists something such that it is incommutable. sent16: if there exists something such that it is a barrel that is proud then the spawner is unsuccessful. sent17: the eyelash is a kind of a phrase. ; $proof$ = 
sent1 & sent9 -> int1: the spawner is a littoral.; void -> assump2: Let's assume that the spawner is proud.; int1 & assump2 -> int2: the spawner is a littoral and it is proud.; sent13 -> int3: the spawner is not a kind of a phrase if it is a littoral and it is proud.; int2 & int3 -> int4: the spawner is not a phrase.; void -> assump1: Let's assume that the spawner does phrase.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the spawner is not proud.; [assump1] & int6 -> int7: if the spawner does phrase then that it is not proud is not false.; int7 -> hypothesis; __DISPROVED__