that the guyot is either not non-Tajikistani or non-canonic or both is incorrect.
sent1: the guyot is not mutant if it is a kind of a sabin. sent2: there is something such that it is not rationalist and not unpredictable. sent3: the guyot is not a dead and it is not mutant if the fact that it is a kind of a sabin is right. sent4: if something does repress oarsmanship then that it is both non-dead and non-mutant is wrong. sent5: the franklin does not beggar picornavirus and is not a referendum. sent6: the fact that that something is not a brag and not a fence-sitter hold is not correct if it is an axis. sent7: the guyot is not rationalist. sent8: something is not canonic if that it does not recite is correct. sent9: if something represses oarsmanship it does recite. sent10: if there are non-rationalist and non-unpredictable things then the guyot is a sabin. sent11: the hearse is a Cartwright and/or it is not unpredictable. sent12: that that the guyot is Tajikistani and/or it is not canonic does not hold is right if the stuffing does recite. sent13: the stuffing recites if the private does recites. sent14: the guyot bespeaks. sent15: the guyot represses oarsmanship if it recites. sent16: if a non-amblyopic thing is not unpredictable then the guyot crunches. sent17: the fact that the washroom is rationalist and it is unpredictable is false. sent18: there is something such that it does not repress oarsmanship and is not Tajikistani.
void -> assump1: Let's assume that the guyot does recite.; sent15 & assump1 -> int1: the guyot represses oarsmanship.; sent4 -> int2: the fact that the guyot is not a dead and is not a mutant is wrong if it does repress oarsmanship.; int1 & int2 -> int3: that the guyot is not a dead and it is not a mutant is not true.; sent2 & sent10 -> int4: the guyot is a sabin.; sent3 & int4 -> int5: the guyot is not a dead and it is not mutant.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the guyot does not recite.; sent8 -> int8: the fact that the guyot is not canonic is not wrong if it does not recite.; int7 & int8 -> int9: the guyot is not canonic.; int9 -> hypothesis;
that the guyot is Tajikistani or it is non-canonic or both is false.
sent9 -> int10: if the private represses oarsmanship that it does recite is not wrong.;
$hypothesis$ = that the guyot is either not non-Tajikistani or non-canonic or both is incorrect. ; $context$ = sent1: the guyot is not mutant if it is a kind of a sabin. sent2: there is something such that it is not rationalist and not unpredictable. sent3: the guyot is not a dead and it is not mutant if the fact that it is a kind of a sabin is right. sent4: if something does repress oarsmanship then that it is both non-dead and non-mutant is wrong. sent5: the franklin does not beggar picornavirus and is not a referendum. sent6: the fact that that something is not a brag and not a fence-sitter hold is not correct if it is an axis. sent7: the guyot is not rationalist. sent8: something is not canonic if that it does not recite is correct. sent9: if something represses oarsmanship it does recite. sent10: if there are non-rationalist and non-unpredictable things then the guyot is a sabin. sent11: the hearse is a Cartwright and/or it is not unpredictable. sent12: that that the guyot is Tajikistani and/or it is not canonic does not hold is right if the stuffing does recite. sent13: the stuffing recites if the private does recites. sent14: the guyot bespeaks. sent15: the guyot represses oarsmanship if it recites. sent16: if a non-amblyopic thing is not unpredictable then the guyot crunches. sent17: the fact that the washroom is rationalist and it is unpredictable is false. sent18: there is something such that it does not repress oarsmanship and is not Tajikistani. ; $proof$ = 
void -> assump1: Let's assume that the guyot does recite.; sent15 & assump1 -> int1: the guyot represses oarsmanship.; sent4 -> int2: the fact that the guyot is not a dead and is not a mutant is wrong if it does repress oarsmanship.; int1 & int2 -> int3: that the guyot is not a dead and it is not a mutant is not true.; sent2 & sent10 -> int4: the guyot is a sabin.; sent3 & int4 -> int5: the guyot is not a dead and it is not mutant.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the guyot does not recite.; sent8 -> int8: the fact that the guyot is not canonic is not wrong if it does not recite.; int7 & int8 -> int9: the guyot is not canonic.; int9 -> hypothesis; __DISPROVED__