the oxytocic is mastoid.
sent1: the binding is not a kind of a forehand if something does checkmate Fiedler and is not a flavin. sent2: if the fact that something does not deduce oxytocic and/or is statesmanlike does not hold then it is forehand. sent3: if the binding does bubble the trompillo is a kind of a antheridium that is not a bubble. sent4: if something that is statesmanlike does not deduce oxytocic it bubbles. sent5: if the trompillo is a kind of a antheridium and is not a bubble then the oxytocic is not a kind of a mastoid. sent6: something does deduce Donkin and is not a posterior if it is a kind of a forehand. sent7: if something is statesmanlike thing that deduces oxytocic it does bubble. sent8: there exists something such that it does checkmate Fiedler and is not a flavin. sent9: something is statesmanlike but it does not deduce oxytocic if it is not a kind of a forehand.
sent8 & sent1 -> int1: the binding is not a forehand.; sent9 -> int2: if the binding is not a forehand then it is statesmanlike and does not deduce oxytocic.; int1 & int2 -> int3: the binding is statesmanlike thing that does not deduce oxytocic.; sent4 -> int4: the fact that the binding does bubble is not incorrect if it is statesmanlike thing that does not deduce oxytocic.; int3 & int4 -> int5: the binding bubbles.; int5 & sent3 -> int6: the trompillo is a antheridium but it is not a bubble.; int6 & sent5 -> hypothesis;
something does deduce Donkin but it is not a posterior.
sent6 -> int7: the binding deduces Donkin and is not a posterior if it is a kind of a forehand.; sent2 -> int8: the binding is a forehand if that it does not deduce oxytocic and/or it is statesmanlike is not correct.;
$hypothesis$ = the oxytocic is mastoid. ; $context$ = sent1: the binding is not a kind of a forehand if something does checkmate Fiedler and is not a flavin. sent2: if the fact that something does not deduce oxytocic and/or is statesmanlike does not hold then it is forehand. sent3: if the binding does bubble the trompillo is a kind of a antheridium that is not a bubble. sent4: if something that is statesmanlike does not deduce oxytocic it bubbles. sent5: if the trompillo is a kind of a antheridium and is not a bubble then the oxytocic is not a kind of a mastoid. sent6: something does deduce Donkin and is not a posterior if it is a kind of a forehand. sent7: if something is statesmanlike thing that deduces oxytocic it does bubble. sent8: there exists something such that it does checkmate Fiedler and is not a flavin. sent9: something is statesmanlike but it does not deduce oxytocic if it is not a kind of a forehand. ; $proof$ = 
sent8 & sent1 -> int1: the binding is not a forehand.; sent9 -> int2: if the binding is not a forehand then it is statesmanlike and does not deduce oxytocic.; int1 & int2 -> int3: the binding is statesmanlike thing that does not deduce oxytocic.; sent4 -> int4: the fact that the binding does bubble is not incorrect if it is statesmanlike thing that does not deduce oxytocic.; int3 & int4 -> int5: the binding bubbles.; int5 & sent3 -> int6: the trompillo is a antheridium but it is not a bubble.; int6 & sent5 -> hypothesis; __DISPROVED__