if the blackface rices gusset the turbine does snag expositor.
sent1: the fluff is a kind of a tip. sent2: if the fluff does not wrinkle but it is a kind of a redefinition then the blackface rices gusset. sent3: the fluff is a kind of a redefinition that is a tip. sent4: if the fluff does not snag expositor and is a tip then the turbine is not a kind of a wrinkle. sent5: the blackface snags expositor and does rice gusset. sent6: the sacrificer is a redefinition. sent7: the turbine is not a kind of a tip. sent8: the fluff does snag expositor. sent9: the turbine is a redefinition. sent10: the turbine does not charm angioscope and is a kind of a wrinkle. sent11: the blackface is a redefinition if the fluff does rice gusset. sent12: the blackface does not rice gusset if the fluff is not a kind of a wrinkle and is a redefinition. sent13: the blackface charms dishtowel and it tips. sent14: if the blackface snags expositor then the turbine rices gusset.
void -> assump2: Let's assume that the blackface rices gusset.; void -> assump1: Let's assume that the fluff is not a kind of a wrinkle.; sent3 -> int1: the fluff is a kind of a redefinition.; assump1 & int1 -> int2: the fluff is both not a wrinkle and a redefinition.; sent12 & int2 -> int3: the fact that the blackface does not rice gusset is right.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fluff is a wrinkle.;
$hypothesis$ = if the blackface rices gusset the turbine does snag expositor. ; $context$ = sent1: the fluff is a kind of a tip. sent2: if the fluff does not wrinkle but it is a kind of a redefinition then the blackface rices gusset. sent3: the fluff is a kind of a redefinition that is a tip. sent4: if the fluff does not snag expositor and is a tip then the turbine is not a kind of a wrinkle. sent5: the blackface snags expositor and does rice gusset. sent6: the sacrificer is a redefinition. sent7: the turbine is not a kind of a tip. sent8: the fluff does snag expositor. sent9: the turbine is a redefinition. sent10: the turbine does not charm angioscope and is a kind of a wrinkle. sent11: the blackface is a redefinition if the fluff does rice gusset. sent12: the blackface does not rice gusset if the fluff is not a kind of a wrinkle and is a redefinition. sent13: the blackface charms dishtowel and it tips. sent14: if the blackface snags expositor then the turbine rices gusset. ; $proof$ = 
void -> assump2: Let's assume that the blackface rices gusset.; void -> assump1: Let's assume that the fluff is not a kind of a wrinkle.; sent3 -> int1: the fluff is a kind of a redefinition.; assump1 & int1 -> int2: the fluff is both not a wrinkle and a redefinition.; sent12 & int2 -> int3: the fact that the blackface does not rice gusset is right.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fluff is a wrinkle.; __UNKNOWN__