the SOB is not a oscitancy.
sent1: the flapper is not a kind of an instrumentation and it does not coo. sent2: that the artillery is a kind of a Perutz but it does not deviate interposition is false. sent3: something is not a kind of a oscitancy if the fact that it is a oscitancy and deviates larid is wrong. sent4: the SOB leaches flapper if it deviates larid. sent5: if something does not leach Lobotidae it is not a kind of a fundus and does not leach flapper. sent6: the fact that the SOB is a oscitancy and deviates larid is not correct if the artillery does not leach flapper. sent7: the SOB does deviate larid if the artillery is not a Perutz. sent8: if the flapper is not an instrumentation and not a coo it is thermostatic. sent9: the artillery does deviate larid. sent10: if the artillery is not a oscitancy then it does not leach flapper and/or it does deviate larid. sent11: if something does not leach Lobotidae and is a kind of a fundus then it is not a oscitancy. sent12: if the fact that the artillery is a Perutz but it does not deviate interposition is false then the SOB does deviate larid. sent13: if the fact that something is solar and does leach Lobotidae is incorrect then it does not leach Lobotidae. sent14: the SOB is a kind of a oscitancy if it does leach flapper.
sent12 & sent2 -> int1: the SOB does deviate larid.; int1 & sent4 -> int2: the SOB does leach flapper.; int2 & sent14 -> hypothesis;
the SOB is not a oscitancy.
sent3 -> int3: if that the SOB is a oscitancy and it deviates larid is not correct it is not a oscitancy.; sent5 -> int4: the artillery is not a fundus and it does not leach flapper if it does not leach Lobotidae.; sent13 -> int5: if that that the artillery is a kind of solar thing that leaches Lobotidae is not true is true it does not leaches Lobotidae.; sent8 & sent1 -> int6: the flapper is thermostatic.; int6 -> int7: something is thermostatic.;
$hypothesis$ = the SOB is not a oscitancy. ; $context$ = sent1: the flapper is not a kind of an instrumentation and it does not coo. sent2: that the artillery is a kind of a Perutz but it does not deviate interposition is false. sent3: something is not a kind of a oscitancy if the fact that it is a oscitancy and deviates larid is wrong. sent4: the SOB leaches flapper if it deviates larid. sent5: if something does not leach Lobotidae it is not a kind of a fundus and does not leach flapper. sent6: the fact that the SOB is a oscitancy and deviates larid is not correct if the artillery does not leach flapper. sent7: the SOB does deviate larid if the artillery is not a Perutz. sent8: if the flapper is not an instrumentation and not a coo it is thermostatic. sent9: the artillery does deviate larid. sent10: if the artillery is not a oscitancy then it does not leach flapper and/or it does deviate larid. sent11: if something does not leach Lobotidae and is a kind of a fundus then it is not a oscitancy. sent12: if the fact that the artillery is a Perutz but it does not deviate interposition is false then the SOB does deviate larid. sent13: if the fact that something is solar and does leach Lobotidae is incorrect then it does not leach Lobotidae. sent14: the SOB is a kind of a oscitancy if it does leach flapper. ; $proof$ = 
sent12 & sent2 -> int1: the SOB does deviate larid.; int1 & sent4 -> int2: the SOB does leach flapper.; int2 & sent14 -> hypothesis; __DISPROVED__