the aerophile is a kind of a Turkoman.
sent1: something interposes polynomial if the fact that it is not a shag and it is a Calais does not hold. sent2: everything does not spud. sent3: if that that the recapitulation is not subtropical and it is not a icehouse does not hold is correct the aerophile is not sane. sent4: that the bourn is a kind of a Turkoman and it is a kind of a clarence is incorrect. sent5: the fact that the girasol is reductionist is not false if that it does regurgitate is not incorrect. sent6: if the fact that something is not algoid but it arrives Haemosporidia is false then it curbs Seyhan. sent7: the fact that the aerophile is a moneygrubber and is a batiste is not right. sent8: the fact that the aerophile does regurgitate and it is a batiste is false. sent9: the fact that the aerophile does curb chalk and it is a batiste is false. sent10: if that something does not regurgitate and is a batiste is incorrect it is a Turkoman. sent11: something is a kind of an onyx if it is reductionist. sent12: if the fact that something is not an onyx but it interposes EBV does not hold then it is a kind of an inhalant. sent13: that the aerophile is not destructive and is frictional is not correct. sent14: if that something is not a Allhallowtide but it is a kind of a flap is not right then it is a kind of a icehouse. sent15: the fact that the Samaritan is a kind of a batiste is not false. sent16: that the fact that something is a kind of non-subtropical thing that is not a icehouse is not wrong is not right if it is a onrush. sent17: if that something is subartesian but not a onrush is not true then it is a onrush. sent18: there is nothing that does not regurgitate and is a batiste. sent19: if the fact that the aerophile does not interpose EBV and is unprintable is not true it regurgitates. sent20: the sateen is extraordinary if the fact that it is non-athletics thing that is a moneygrubber is false. sent21: that something is a kind of subartesian thing that is not a kind of a onrush is not correct if it is not a kind of a spud.
sent18 -> int1: the fact that the aerophile does not regurgitate but it is a batiste is incorrect.; sent10 -> int2: if that the aerophile does not regurgitate and is a batiste does not hold it is a Turkoman.; int1 & int2 -> hypothesis;
the aerophile is not a Turkoman.
sent21 -> int3: that the upsetter is subartesian but it is not a kind of a onrush is false if it does not spud.; sent2 -> int4: the upsetter is not a spud.; int3 & int4 -> int5: the fact that the upsetter is subartesian thing that is not a kind of a onrush is false.; sent17 -> int6: the upsetter is a onrush if that it is a kind of subartesian thing that is not a kind of a onrush does not hold.; int5 & int6 -> int7: the upsetter is a kind of a onrush.; sent16 -> int8: if the upsetter is a kind of a onrush then that it is a kind of non-subtropical thing that is not a icehouse is not right.; int7 & int8 -> int9: the fact that the upsetter is not subtropical and it is not a kind of a icehouse is incorrect.; int9 -> int10: there is nothing such that it is non-subtropical thing that is not a icehouse.; int10 -> int11: the fact that the recapitulation is non-subtropical and not a icehouse is false.; sent3 & int11 -> int12: the aerophile is not sane.;
$hypothesis$ = the aerophile is a kind of a Turkoman. ; $context$ = sent1: something interposes polynomial if the fact that it is not a shag and it is a Calais does not hold. sent2: everything does not spud. sent3: if that that the recapitulation is not subtropical and it is not a icehouse does not hold is correct the aerophile is not sane. sent4: that the bourn is a kind of a Turkoman and it is a kind of a clarence is incorrect. sent5: the fact that the girasol is reductionist is not false if that it does regurgitate is not incorrect. sent6: if the fact that something is not algoid but it arrives Haemosporidia is false then it curbs Seyhan. sent7: the fact that the aerophile is a moneygrubber and is a batiste is not right. sent8: the fact that the aerophile does regurgitate and it is a batiste is false. sent9: the fact that the aerophile does curb chalk and it is a batiste is false. sent10: if that something does not regurgitate and is a batiste is incorrect it is a Turkoman. sent11: something is a kind of an onyx if it is reductionist. sent12: if the fact that something is not an onyx but it interposes EBV does not hold then it is a kind of an inhalant. sent13: that the aerophile is not destructive and is frictional is not correct. sent14: if that something is not a Allhallowtide but it is a kind of a flap is not right then it is a kind of a icehouse. sent15: the fact that the Samaritan is a kind of a batiste is not false. sent16: that the fact that something is a kind of non-subtropical thing that is not a icehouse is not wrong is not right if it is a onrush. sent17: if that something is subartesian but not a onrush is not true then it is a onrush. sent18: there is nothing that does not regurgitate and is a batiste. sent19: if the fact that the aerophile does not interpose EBV and is unprintable is not true it regurgitates. sent20: the sateen is extraordinary if the fact that it is non-athletics thing that is a moneygrubber is false. sent21: that something is a kind of subartesian thing that is not a kind of a onrush is not correct if it is not a kind of a spud. ; $proof$ = 
sent18 -> int1: the fact that the aerophile does not regurgitate but it is a batiste is incorrect.; sent10 -> int2: if that the aerophile does not regurgitate and is a batiste does not hold it is a Turkoman.; int1 & int2 -> hypothesis; __PROVED__