the fact that the gear is a kind of a quaffer hold if the Hanuman is a kind of a Schonberg.
sent1: the gear is a posterior if the Hanuman does not stigmatize tent-fly. sent2: if the Hanuman is not a kind of a quaffer then the gear is a Schonberg. sent3: the Hanuman is a quaffer if the gear is not a Schonberg. sent4: the farmplace is not a quaffer. sent5: that something is not a monohybrid if it is a Schonberg hold. sent6: if the Hanuman is not a kind of a quaffer then the gear stigmatizes tent-fly. sent7: the gear is not a quaffer if it is a Schonberg. sent8: something is a quaffer if it is a posterior. sent9: the Hanuman is a kind of a rebound. sent10: if the gear is a quaffer the Hanuman is a kind of a posterior. sent11: if that the Hanuman is a Schonberg hold it is not a posterior. sent12: if something is a Schonberg it does not stigmatize tent-fly. sent13: something is achlorhydric if it is a kind of a caltrop. sent14: the Hanuman is a posterior if the gear does not stigmatize tent-fly. sent15: the gear stigmatizes tent-fly.
sent12 -> int1: the Hanuman does not stigmatize tent-fly if it is a Schonberg.; void -> assump1: Let's assume that the Hanuman is a Schonberg.; int1 & assump1 -> int2: the fact that the Hanuman does not stigmatize tent-fly is not wrong.; int2 & sent1 -> int3: the gear is a posterior.; sent8 -> int4: the gear is a kind of a quaffer if it is posterior.; int3 & int4 -> int5: the gear is a kind of a quaffer.; [assump1] & int5 -> hypothesis;
if the wren is a Schonberg it is not a kind of a monohybrid.
sent5 -> hypothesis;
$hypothesis$ = the fact that the gear is a kind of a quaffer hold if the Hanuman is a kind of a Schonberg. ; $context$ = sent1: the gear is a posterior if the Hanuman does not stigmatize tent-fly. sent2: if the Hanuman is not a kind of a quaffer then the gear is a Schonberg. sent3: the Hanuman is a quaffer if the gear is not a Schonberg. sent4: the farmplace is not a quaffer. sent5: that something is not a monohybrid if it is a Schonberg hold. sent6: if the Hanuman is not a kind of a quaffer then the gear stigmatizes tent-fly. sent7: the gear is not a quaffer if it is a Schonberg. sent8: something is a quaffer if it is a posterior. sent9: the Hanuman is a kind of a rebound. sent10: if the gear is a quaffer the Hanuman is a kind of a posterior. sent11: if that the Hanuman is a Schonberg hold it is not a posterior. sent12: if something is a Schonberg it does not stigmatize tent-fly. sent13: something is achlorhydric if it is a kind of a caltrop. sent14: the Hanuman is a posterior if the gear does not stigmatize tent-fly. sent15: the gear stigmatizes tent-fly. ; $proof$ = 
sent12 -> int1: the Hanuman does not stigmatize tent-fly if it is a Schonberg.; void -> assump1: Let's assume that the Hanuman is a Schonberg.; int1 & assump1 -> int2: the fact that the Hanuman does not stigmatize tent-fly is not wrong.; int2 & sent1 -> int3: the gear is a posterior.; sent8 -> int4: the gear is a kind of a quaffer if it is posterior.; int3 & int4 -> int5: the gear is a kind of a quaffer.; [assump1] & int5 -> hypothesis; __PROVED__