the buttocks geysers balmoral.
sent1: the domatium compounds if there is something such that that it is both not compounds and not a Apidae is not true. sent2: the machmeter does not flicker declinometer. sent3: there exists something such that the fact that it is both not an ovule and a digest does not hold. sent4: if something compounds or does not geyser balmoral or both then the domatium does not geyser balmoral. sent5: The declinometer does not flicker machmeter. sent6: there is nothing such that that it is a Oswald and does not talc bathymeter hold. sent7: something that is not spineless does not compound and is not a kind of a raftsman. sent8: there is nothing such that it is a kind of plagioclastic thing that is not a kind of an advertorial. sent9: if there is something such that it does flicker ambassadorship or it does not geyser balmoral or both then the range does not geyser balmoral. sent10: the range flickers ambassadorship and/or does not vent. sent11: something either is a kind of a constant or does not talc biofeedback or both. sent12: the fact that the machmeter is a compound but not a Apidae is not true. sent13: if the fact that the pimozide is a Oswald that does not talc bathymeter is wrong then the tire is spinous. sent14: if the machmeter does not flicker declinometer then that it is not a kind of a compound and it is not a kind of a Apidae does not hold. sent15: if there exists something such that it does not flicker declinometer then the buttocks does not flicker declinometer. sent16: the domatium is noncombustible if something is not spineless and not a vent. sent17: if something either does flicker ambassadorship or does not vent or both then the tire is not a vent. sent18: if something is a compound and it is noncombustible then that the buttocks geysers balmoral hold.
sent6 -> int1: the fact that the pimozide is a Oswald but it does not talc bathymeter is incorrect.; int1 & sent13 -> int2: the tire is not spineless.; sent10 -> int3: something flickers ambassadorship and/or is not a vent.; int3 & sent17 -> int4: the tire is not a vent.; int2 & int4 -> int5: the fact that the tire is a kind of spinous thing that is not a kind of a vent is not false.; int5 -> int6: there exists something such that it is both not spineless and not a vent.; int6 & sent16 -> int7: the domatium is noncombustible.; sent14 & sent2 -> int8: the fact that the machmeter does not compound and is not a kind of a Apidae is not right.; int8 -> int9: there exists something such that the fact that it is not a compound and it is not a Apidae is not true.; int9 & sent1 -> int10: the domatium does compound.; int7 & int10 -> int11: the domatium compounds and is noncombustible.; int11 -> int12: there is something such that it is not non-compound and not combustible.; int12 & sent18 -> hypothesis;
the pimozide is non-compound and it is not a raftsman.
sent7 -> int13: if the pimozide is not spineless then it is not a kind of a compound and it is not a raftsman.;
$hypothesis$ = the buttocks geysers balmoral. ; $context$ = sent1: the domatium compounds if there is something such that that it is both not compounds and not a Apidae is not true. sent2: the machmeter does not flicker declinometer. sent3: there exists something such that the fact that it is both not an ovule and a digest does not hold. sent4: if something compounds or does not geyser balmoral or both then the domatium does not geyser balmoral. sent5: The declinometer does not flicker machmeter. sent6: there is nothing such that that it is a Oswald and does not talc bathymeter hold. sent7: something that is not spineless does not compound and is not a kind of a raftsman. sent8: there is nothing such that it is a kind of plagioclastic thing that is not a kind of an advertorial. sent9: if there is something such that it does flicker ambassadorship or it does not geyser balmoral or both then the range does not geyser balmoral. sent10: the range flickers ambassadorship and/or does not vent. sent11: something either is a kind of a constant or does not talc biofeedback or both. sent12: the fact that the machmeter is a compound but not a Apidae is not true. sent13: if the fact that the pimozide is a Oswald that does not talc bathymeter is wrong then the tire is spinous. sent14: if the machmeter does not flicker declinometer then that it is not a kind of a compound and it is not a kind of a Apidae does not hold. sent15: if there exists something such that it does not flicker declinometer then the buttocks does not flicker declinometer. sent16: the domatium is noncombustible if something is not spineless and not a vent. sent17: if something either does flicker ambassadorship or does not vent or both then the tire is not a vent. sent18: if something is a compound and it is noncombustible then that the buttocks geysers balmoral hold. ; $proof$ = 
sent6 -> int1: the fact that the pimozide is a Oswald but it does not talc bathymeter is incorrect.; int1 & sent13 -> int2: the tire is not spineless.; sent10 -> int3: something flickers ambassadorship and/or is not a vent.; int3 & sent17 -> int4: the tire is not a vent.; int2 & int4 -> int5: the fact that the tire is a kind of spinous thing that is not a kind of a vent is not false.; int5 -> int6: there exists something such that it is both not spineless and not a vent.; int6 & sent16 -> int7: the domatium is noncombustible.; sent14 & sent2 -> int8: the fact that the machmeter does not compound and is not a kind of a Apidae is not right.; int8 -> int9: there exists something such that the fact that it is not a compound and it is not a Apidae is not true.; int9 & sent1 -> int10: the domatium does compound.; int7 & int10 -> int11: the domatium compounds and is noncombustible.; int11 -> int12: there is something such that it is not non-compound and not combustible.; int12 & sent18 -> hypothesis; __PROVED__