the fact that the grassland is a bouffe is not false.
sent1: if the grassland does not shag it is not Viennese. sent2: the convector is not Viennese if it is not a Shanghai. sent3: the grassland does not consider spice if it is sericultural. sent4: if that the finalist is a bouffe and Viennese is not right it is not Viennese. sent5: the fact that something is sericultural and combusts is incorrect if it is not Viennese. sent6: something does not falter. sent7: that something does not consider spice but it is a bouffe is right if it is not non-sericultural. sent8: if the fact that something is both not non-endothermic and Viennese does not hold it is not Viennese. sent9: that the spice is endothermic and it is Viennese is not true if the manic-depressive does not consider spice. sent10: something is not endothermic. sent11: something is sericultural if it is not Viennese. sent12: if something does not consider block and is a kind of a Solent it does not consider spice. sent13: if the spice does not combust the fact that the block is not a kind of a bouffe but it does shag does not hold. sent14: if the grassland does shag it combusts. sent15: if that the block is not a bouffe but it is a shag does not hold then the grassland is not a bouffe. sent16: if there exists something such that it is not endothermic then the grassland does not combust.
void -> assump1: Let's assume that the grassland does shag.; sent14 & assump1 -> int1: the fact that the grassland combusts is not incorrect.; sent10 & sent16 -> int2: the grassland does not combust.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the grassland is not a shag.; int4 & sent1 -> int5: the grassland is not Viennese.; sent11 -> int6: the grassland is sericultural if it is not Viennese.; int5 & int6 -> int7: the grassland is sericultural.; sent7 -> int8: the grassland does not consider spice and is a bouffe if it is sericultural.; int7 & int8 -> int9: the grassland does not consider spice and is a bouffe.; int9 -> hypothesis;
the grassland is not a bouffe.
sent5 -> int10: if the spice is not Viennese then that it is sericultural thing that combusts is not right.; sent8 -> int11: that the spice is not Viennese if that the spice is endothermic thing that is Viennese is wrong hold.; sent12 -> int12: if the manic-depressive does not consider block and is a Solent then it does not consider spice.;
$hypothesis$ = the fact that the grassland is a bouffe is not false. ; $context$ = sent1: if the grassland does not shag it is not Viennese. sent2: the convector is not Viennese if it is not a Shanghai. sent3: the grassland does not consider spice if it is sericultural. sent4: if that the finalist is a bouffe and Viennese is not right it is not Viennese. sent5: the fact that something is sericultural and combusts is incorrect if it is not Viennese. sent6: something does not falter. sent7: that something does not consider spice but it is a bouffe is right if it is not non-sericultural. sent8: if the fact that something is both not non-endothermic and Viennese does not hold it is not Viennese. sent9: that the spice is endothermic and it is Viennese is not true if the manic-depressive does not consider spice. sent10: something is not endothermic. sent11: something is sericultural if it is not Viennese. sent12: if something does not consider block and is a kind of a Solent it does not consider spice. sent13: if the spice does not combust the fact that the block is not a kind of a bouffe but it does shag does not hold. sent14: if the grassland does shag it combusts. sent15: if that the block is not a bouffe but it is a shag does not hold then the grassland is not a bouffe. sent16: if there exists something such that it is not endothermic then the grassland does not combust. ; $proof$ = 
void -> assump1: Let's assume that the grassland does shag.; sent14 & assump1 -> int1: the fact that the grassland combusts is not incorrect.; sent10 & sent16 -> int2: the grassland does not combust.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the grassland is not a shag.; int4 & sent1 -> int5: the grassland is not Viennese.; sent11 -> int6: the grassland is sericultural if it is not Viennese.; int5 & int6 -> int7: the grassland is sericultural.; sent7 -> int8: the grassland does not consider spice and is a bouffe if it is sericultural.; int7 & int8 -> int9: the grassland does not consider spice and is a bouffe.; int9 -> hypothesis; __PROVED__