the guvnor is a domino.
sent1: if there exists something such that it does not caucus and/or does not efface queenfish then the guvnor is a domino. sent2: if there is something such that it is not a kind of a tad and does menstruate kylix the Atrovent is not a kind of a Percophidae. sent3: if the fact that the Israeli does not roof VLF is right then that the goldbeater is a diploid and/or it is a jackknife-fish is not correct. sent4: if that something is a diploid and/or it is a jackknife-fish is incorrect it is not a domino. sent5: if something effaces piquancy and does efface queenfish it is not a kind of a Percophidae. sent6: if the Israeli does efface piquancy either it is not a caucus or it does not efface queenfish or both. sent7: something is non-divergent if it is not a Percophidae. sent8: something is not a domino if it is not a kind of a Percophidae. sent9: the fact that the Atrovent does not efface Luxemburger and it is not important is wrong. sent10: the Atrovent is important if that the goldbeater is a kind of a jackknife-fish hold. sent11: the fact that the guvnor is a kind of important thing that effaces piquancy is incorrect if the Atrovent does not efface queenfish. sent12: if the goldbeater is not unimportant then the Atrovent is unimportant. sent13: something caucuses and it effaces queenfish if it is not a domino. sent14: the goldbeater is important and/or it is a jackknife-fish. sent15: the fact that if the Atrovent is not a Percophidae but it is important the Israeli effaces piquancy is not wrong. sent16: if that the Atrovent does not efface Luxemburger and is not important is false the goldbeater does efface Luxemburger. sent17: the Israeli is a kind of a jackknife-fish. sent18: everything is not a tad and it does menstruate kylix. sent19: the goldbeater does efface piquancy. sent20: something that is a jackknife-fish caucuses.
sent18 -> int1: the grind is not a tad but it does menstruate kylix.; int1 -> int2: there exists something such that it is not a tad and menstruates kylix.; int2 & sent2 -> int3: the Atrovent is not a kind of a Percophidae.; sent14 & sent12 & sent10 -> int4: the Atrovent is important.; int3 & int4 -> int5: the Atrovent is not a Percophidae and is important.; int5 & sent15 -> int6: the Israeli does efface piquancy.; int6 & sent6 -> int7: either the Israeli is not a caucus or it does not efface queenfish or both.; int7 -> int8: there exists something such that it is not a caucus or it does not efface queenfish or both.; int8 & sent1 -> hypothesis;
the fact that the guvnor is a domino does not hold.
sent8 -> int9: if the guvnor is not a Percophidae it is not a domino.; sent20 -> int10: the Israeli is a kind of a caucus if it is a jackknife-fish.; int10 & sent17 -> int11: the Israeli is a caucus.; int11 -> int12: something does caucus.;
$hypothesis$ = the guvnor is a domino. ; $context$ = sent1: if there exists something such that it does not caucus and/or does not efface queenfish then the guvnor is a domino. sent2: if there is something such that it is not a kind of a tad and does menstruate kylix the Atrovent is not a kind of a Percophidae. sent3: if the fact that the Israeli does not roof VLF is right then that the goldbeater is a diploid and/or it is a jackknife-fish is not correct. sent4: if that something is a diploid and/or it is a jackknife-fish is incorrect it is not a domino. sent5: if something effaces piquancy and does efface queenfish it is not a kind of a Percophidae. sent6: if the Israeli does efface piquancy either it is not a caucus or it does not efface queenfish or both. sent7: something is non-divergent if it is not a Percophidae. sent8: something is not a domino if it is not a kind of a Percophidae. sent9: the fact that the Atrovent does not efface Luxemburger and it is not important is wrong. sent10: the Atrovent is important if that the goldbeater is a kind of a jackknife-fish hold. sent11: the fact that the guvnor is a kind of important thing that effaces piquancy is incorrect if the Atrovent does not efface queenfish. sent12: if the goldbeater is not unimportant then the Atrovent is unimportant. sent13: something caucuses and it effaces queenfish if it is not a domino. sent14: the goldbeater is important and/or it is a jackknife-fish. sent15: the fact that if the Atrovent is not a Percophidae but it is important the Israeli effaces piquancy is not wrong. sent16: if that the Atrovent does not efface Luxemburger and is not important is false the goldbeater does efface Luxemburger. sent17: the Israeli is a kind of a jackknife-fish. sent18: everything is not a tad and it does menstruate kylix. sent19: the goldbeater does efface piquancy. sent20: something that is a jackknife-fish caucuses. ; $proof$ = 
sent18 -> int1: the grind is not a tad but it does menstruate kylix.; int1 -> int2: there exists something such that it is not a tad and menstruates kylix.; int2 & sent2 -> int3: the Atrovent is not a kind of a Percophidae.; sent14 & sent12 & sent10 -> int4: the Atrovent is important.; int3 & int4 -> int5: the Atrovent is not a Percophidae and is important.; int5 & sent15 -> int6: the Israeli does efface piquancy.; int6 & sent6 -> int7: either the Israeli is not a caucus or it does not efface queenfish or both.; int7 -> int8: there exists something such that it is not a caucus or it does not efface queenfish or both.; int8 & sent1 -> hypothesis; __PROVED__