the gemma is costive and battles.
sent1: there exists something such that it tosses. sent2: if something tosses that the reservation is a kind of non-gingival thing that roils does not hold. sent3: the beatnik is not a kind of a canard if there exists something such that the fact that it is not gingival and it roils is not true. sent4: if the fact that the beatnik gibbers and/or it is a upholder is false the beefsteak is not a kind of a battle. sent5: if the beefsteak is not a battle then the gemma is costive and is a kind of a battle. sent6: if something is not a canard then the fact that either it gibbers or it is a upholder or both is not true.
sent1 & sent2 -> int1: that the reservation is not gingival and roils is false.; int1 -> int2: there exists something such that that it is not gingival and does roil is incorrect.; int2 & sent3 -> int3: the beatnik is not a kind of a canard.; sent6 -> int4: if the beatnik is not a canard the fact that it gibbers and/or is a upholder is not correct.; int3 & int4 -> int5: that the beatnik does gibber and/or is a upholder is false.; int5 & sent4 -> int6: the beefsteak is not a kind of a battle.; int6 & sent5 -> hypothesis;
$hypothesis$ = the gemma is costive and battles. ; $context$ = sent1: there exists something such that it tosses. sent2: if something tosses that the reservation is a kind of non-gingival thing that roils does not hold. sent3: the beatnik is not a kind of a canard if there exists something such that the fact that it is not gingival and it roils is not true. sent4: if the fact that the beatnik gibbers and/or it is a upholder is false the beefsteak is not a kind of a battle. sent5: if the beefsteak is not a battle then the gemma is costive and is a kind of a battle. sent6: if something is not a canard then the fact that either it gibbers or it is a upholder or both is not true. ; $proof$ = 
sent1 & sent2 -> int1: that the reservation is not gingival and roils is false.; int1 -> int2: there exists something such that that it is not gingival and does roil is incorrect.; int2 & sent3 -> int3: the beatnik is not a kind of a canard.; sent6 -> int4: if the beatnik is not a canard the fact that it gibbers and/or is a upholder is not correct.; int3 & int4 -> int5: that the beatnik does gibber and/or is a upholder is false.; int5 & sent4 -> int6: the beefsteak is not a kind of a battle.; int6 & sent5 -> hypothesis; __PROVED__