if that the snowsuit is drinkable is not false the volunteer is a flageolet.
sent1: if that something is drinkable but it is not a flageolet does not hold it is a kind of a flageolet. sent2: the crossover is not undrinkable. sent3: the anomalopteryx is drinkable. sent4: the gasteromycete is metallurgical. sent5: the volunteer is drinkable. sent6: if the snowsuit is a flageolet then the volunteer is drinkable. sent7: the volunteer is a flageolet if the gasteromycete is a kind of a soldier. sent8: if the volunteer does not reciprocate undressed then the gasteromycete is a kind of a gouge and it is a crock. sent9: that the fact that something is drinkable and is not a flageolet is not right if it is an imprint hold. sent10: if the snowsuit is not a kind of a gouge then that the platelet spoofs 9/11 and it is unambitious is not right. sent11: if that something does spoof 9/11 and is unambitious is not true it is unambitious. sent12: the snowsuit is an imprint. sent13: if the snowsuit is an imprint then the gasteromycete is drinkable. sent14: the gasteromycete is protrusive. sent15: if the volunteer is a kind of an imprint the gasteromycete is a flageolet. sent16: something is a kind of exodontics thing that is a kind of an imprint if it is not unambitious. sent17: if the fact that the gasteromycete is an imprint is not false the fact that the volunteer is not a kind of a flageolet is wrong. sent18: the volunteer does not reciprocate undressed. sent19: if the gasteromycete gouges then the fact that the snowsuit is not a gouges is not wrong. sent20: the snowsuit imprints if the gasteromycete is drinkable. sent21: if the snowsuit is drinkable the gasteromycete is an imprint. sent22: the fact that the gasteromycete is drinkable is right.
void -> assump1: Let's assume that the snowsuit is drinkable.; sent21 & assump1 -> int1: the gasteromycete is an imprint.; sent17 & int1 -> int2: the fact that the volunteer is a flageolet is not false.; [assump1] & int2 -> hypothesis;
the platelet is a kind of a flageolet.
sent1 -> int3: if that the platelet is drinkable but it is not a flageolet is incorrect then it is a flageolet.; sent9 -> int4: the fact that that the platelet is drinkable but it is not a flageolet is wrong is not incorrect if it imprints.; sent16 -> int5: if the platelet is not unambitious then it is exodontics thing that is an imprint.; sent11 -> int6: if that the platelet spoofs 9/11 and it is unambitious is false it is not unambitious.; sent8 & sent18 -> int7: the gasteromycete is a kind of a gouge and it is a crock.; int7 -> int8: the fact that the gasteromycete does gouge is not incorrect.; sent19 & int8 -> int9: the snowsuit does not gouge.; sent10 & int9 -> int10: the fact that the platelet does spoof 9/11 and it is unambitious does not hold.; int6 & int10 -> int11: the platelet is not unambitious.; int5 & int11 -> int12: the platelet is exodontics and an imprint.; int12 -> int13: the platelet does imprint.; int4 & int13 -> int14: that the platelet is both drinkable and not a flageolet is not true.; int3 & int14 -> hypothesis;
$hypothesis$ = if that the snowsuit is drinkable is not false the volunteer is a flageolet. ; $context$ = sent1: if that something is drinkable but it is not a flageolet does not hold it is a kind of a flageolet. sent2: the crossover is not undrinkable. sent3: the anomalopteryx is drinkable. sent4: the gasteromycete is metallurgical. sent5: the volunteer is drinkable. sent6: if the snowsuit is a flageolet then the volunteer is drinkable. sent7: the volunteer is a flageolet if the gasteromycete is a kind of a soldier. sent8: if the volunteer does not reciprocate undressed then the gasteromycete is a kind of a gouge and it is a crock. sent9: that the fact that something is drinkable and is not a flageolet is not right if it is an imprint hold. sent10: if the snowsuit is not a kind of a gouge then that the platelet spoofs 9/11 and it is unambitious is not right. sent11: if that something does spoof 9/11 and is unambitious is not true it is unambitious. sent12: the snowsuit is an imprint. sent13: if the snowsuit is an imprint then the gasteromycete is drinkable. sent14: the gasteromycete is protrusive. sent15: if the volunteer is a kind of an imprint the gasteromycete is a flageolet. sent16: something is a kind of exodontics thing that is a kind of an imprint if it is not unambitious. sent17: if the fact that the gasteromycete is an imprint is not false the fact that the volunteer is not a kind of a flageolet is wrong. sent18: the volunteer does not reciprocate undressed. sent19: if the gasteromycete gouges then the fact that the snowsuit is not a gouges is not wrong. sent20: the snowsuit imprints if the gasteromycete is drinkable. sent21: if the snowsuit is drinkable the gasteromycete is an imprint. sent22: the fact that the gasteromycete is drinkable is right. ; $proof$ = 
void -> assump1: Let's assume that the snowsuit is drinkable.; sent21 & assump1 -> int1: the gasteromycete is an imprint.; sent17 & int1 -> int2: the fact that the volunteer is a flageolet is not false.; [assump1] & int2 -> hypothesis; __PROVED__