the charioteer wraps rbi or it hungers microdot or both.
sent1: the charioteer either wraps rbi or hungers Bernhardt or both. sent2: if the bouncer is photosynthetic thing that does not hunger Bernhardt then the charioteer hungers microdot. sent3: the bouncer does hunger microdot or it does hunger Bernhardt or both. sent4: if the bouncer is nonphotosynthetic thing that does not hunger Bernhardt the charioteer does hunger microdot. sent5: if the bouncer is not photosynthetic but it does hunger Bernhardt then the fact that the charioteer does not hunger microdot is false. sent6: if the fact that something is not resinlike and does not dry is not true it does dry. sent7: that the bouncer hungers microdot hold. sent8: the bouncer does hunger Bernhardt if the charioteer is not photosynthetic and it does not wrap rbi. sent9: if the charioteer does not hunger microdot and does not hunger Bernhardt the bouncer wraps rbi. sent10: the fact that the bouncer does not wrap rbi and does not encourage is not incorrect. sent11: the bouncer is not photosynthetic and it does not hunger Bernhardt.
sent4 & sent11 -> int1: the charioteer does hunger microdot.; int1 -> hypothesis;
the fact that either the charioteer does wrap rbi or it hungers microdot or both is false.
sent6 -> int2: if that the bouncer is not resinlike and is not dried does not hold then it does dried.;
$hypothesis$ = the charioteer wraps rbi or it hungers microdot or both. ; $context$ = sent1: the charioteer either wraps rbi or hungers Bernhardt or both. sent2: if the bouncer is photosynthetic thing that does not hunger Bernhardt then the charioteer hungers microdot. sent3: the bouncer does hunger microdot or it does hunger Bernhardt or both. sent4: if the bouncer is nonphotosynthetic thing that does not hunger Bernhardt the charioteer does hunger microdot. sent5: if the bouncer is not photosynthetic but it does hunger Bernhardt then the fact that the charioteer does not hunger microdot is false. sent6: if the fact that something is not resinlike and does not dry is not true it does dry. sent7: that the bouncer hungers microdot hold. sent8: the bouncer does hunger Bernhardt if the charioteer is not photosynthetic and it does not wrap rbi. sent9: if the charioteer does not hunger microdot and does not hunger Bernhardt the bouncer wraps rbi. sent10: the fact that the bouncer does not wrap rbi and does not encourage is not incorrect. sent11: the bouncer is not photosynthetic and it does not hunger Bernhardt. ; $proof$ = 
sent4 & sent11 -> int1: the charioteer does hunger microdot.; int1 -> hypothesis; __PROVED__