the hellgrammiate is not a cascarilla.
sent1: if there is something such that that either it is judicial or it is not a madame or both does not hold then the hellgrammiate is not ethical. sent2: if something passes Turkish then the fact that it is not a Zhou is not right. sent3: if there exists something such that the fact that it is judicial and/or it is a kind of a madame is false the hellgrammiate is unethical. sent4: the hellgrammiate is not a cascarilla if the guar is not a cascarilla. sent5: the shoot-'em-up does revolve. sent6: something is a madame. sent7: something is a cascarilla if it punishes Curl. sent8: if there exists something such that it does revolve the pongid is not a kind of a hatch or it does detach or both. sent9: the mulloway is a kind of a madame. sent10: the hellgrammiate is a kind of a madame. sent11: something does not punish Curl and it is not unethical if it is not a kind of a neurasthenic. sent12: if something is unethical then it does punish Curl. sent13: the hellgrammiate is unbreakable. sent14: there is something such that that it is judicial and/or is not a madame is false. sent15: there exists something such that it does harlequin treason or it is not humic or both.
sent14 & sent1 -> int1: the hellgrammiate is unethical.; sent12 -> int2: if the hellgrammiate is unethical it does punish Curl.; int1 & int2 -> int3: the hellgrammiate does punish Curl.; sent7 -> int4: the hellgrammiate is a cascarilla if it does punish Curl.; int3 & int4 -> hypothesis;
the hellgrammiate is not a cascarilla.
sent11 -> int5: the straggler does not punish Curl and is not unethical if it is not a neurasthenic.; sent5 -> int6: there exists something such that the fact that it revolves is not wrong.; int6 & sent8 -> int7: the pongid either does not hatch or detaches or both.; int7 -> int8: either something is not a hatch or it does detach or both.;
$hypothesis$ = the hellgrammiate is not a cascarilla. ; $context$ = sent1: if there is something such that that either it is judicial or it is not a madame or both does not hold then the hellgrammiate is not ethical. sent2: if something passes Turkish then the fact that it is not a Zhou is not right. sent3: if there exists something such that the fact that it is judicial and/or it is a kind of a madame is false the hellgrammiate is unethical. sent4: the hellgrammiate is not a cascarilla if the guar is not a cascarilla. sent5: the shoot-'em-up does revolve. sent6: something is a madame. sent7: something is a cascarilla if it punishes Curl. sent8: if there exists something such that it does revolve the pongid is not a kind of a hatch or it does detach or both. sent9: the mulloway is a kind of a madame. sent10: the hellgrammiate is a kind of a madame. sent11: something does not punish Curl and it is not unethical if it is not a kind of a neurasthenic. sent12: if something is unethical then it does punish Curl. sent13: the hellgrammiate is unbreakable. sent14: there is something such that that it is judicial and/or is not a madame is false. sent15: there exists something such that it does harlequin treason or it is not humic or both. ; $proof$ = 
sent14 & sent1 -> int1: the hellgrammiate is unethical.; sent12 -> int2: if the hellgrammiate is unethical it does punish Curl.; int1 & int2 -> int3: the hellgrammiate does punish Curl.; sent7 -> int4: the hellgrammiate is a cascarilla if it does punish Curl.; int3 & int4 -> hypothesis; __DISPROVED__