that the lingonberry is not ungregarious but univalve is not right.
sent1: something does differ and/or it is not aphoristic. sent2: if there is something such that that it differs and/or it is not aphoristic is right the thermel does differs. sent3: the lingonberry is not ungregarious if it is Guyanese. sent4: if something does deviate milkshake and/or is a Guyanese it is not ungregarious. sent5: if either the jiqui leaches sild or it riots Han or both it does not leach wise. sent6: if the Wellington is a kind of a Mormonism and/or it is not unconventional then it is not unconventional. sent7: the Wellington is non-homiletics. sent8: something does deviate milkshake and is a Guyanese if the fact that it is not unconventional hold. sent9: something that is flowery is not lexicographic. sent10: that the lingonberry is both not leprous and a whiplash is true. sent11: that the Wellington is unconventional hold. sent12: the Wellington does deviate milkshake. sent13: something is not ungregarious if it is a kind of a Guyanese. sent14: if the Wellington is unconventional then the lingonberry is univalve. sent15: The milkshake deviates lingonberry. sent16: the sild does not deviate cricket if it is a thioridazine or it is unconventional or both. sent17: the fact that something is not a Guyanese is not false if it is ungregarious. sent18: the lingonberry deviates milkshake.
sent18 -> int1: the lingonberry deviates milkshake or is Guyanese or both.; sent4 -> int2: that the lingonberry is ungregarious is wrong if it deviates milkshake or it is a Guyanese or both.; int1 & int2 -> int3: the lingonberry is not ungregarious.; sent14 & sent11 -> int4: the lingonberry is univalve.; int3 & int4 -> hypothesis;
the fact that the fact that the lingonberry is not ungregarious but univalve is not wrong is false.
sent8 -> int5: if the Wellington is not unconventional then it deviates milkshake and it is a Guyanese.; sent1 & sent2 -> int6: the thermel does differ.; int6 -> int7: something differs.;
$hypothesis$ = that the lingonberry is not ungregarious but univalve is not right. ; $context$ = sent1: something does differ and/or it is not aphoristic. sent2: if there is something such that that it differs and/or it is not aphoristic is right the thermel does differs. sent3: the lingonberry is not ungregarious if it is Guyanese. sent4: if something does deviate milkshake and/or is a Guyanese it is not ungregarious. sent5: if either the jiqui leaches sild or it riots Han or both it does not leach wise. sent6: if the Wellington is a kind of a Mormonism and/or it is not unconventional then it is not unconventional. sent7: the Wellington is non-homiletics. sent8: something does deviate milkshake and is a Guyanese if the fact that it is not unconventional hold. sent9: something that is flowery is not lexicographic. sent10: that the lingonberry is both not leprous and a whiplash is true. sent11: that the Wellington is unconventional hold. sent12: the Wellington does deviate milkshake. sent13: something is not ungregarious if it is a kind of a Guyanese. sent14: if the Wellington is unconventional then the lingonberry is univalve. sent15: The milkshake deviates lingonberry. sent16: the sild does not deviate cricket if it is a thioridazine or it is unconventional or both. sent17: the fact that something is not a Guyanese is not false if it is ungregarious. sent18: the lingonberry deviates milkshake. ; $proof$ = 
sent18 -> int1: the lingonberry deviates milkshake or is Guyanese or both.; sent4 -> int2: that the lingonberry is ungregarious is wrong if it deviates milkshake or it is a Guyanese or both.; int1 & int2 -> int3: the lingonberry is not ungregarious.; sent14 & sent11 -> int4: the lingonberry is univalve.; int3 & int4 -> hypothesis; __DISPROVED__