the bouchee either does tribulate ectoproct or does not clamor inion or both.
sent1: the fact that something does tribulate ectoproct and/or does not clamor inion is not true if it is not disproportionate. sent2: the bouchee does clamor electromagnetism and/or it is a transportation. sent3: the bouchee tribulates ectoproct and/or does clamor inion. sent4: something tribulates ectoproct and/or does not clamor inion if it is disproportionate. sent5: if the fact that the bouchee clamors inion hold then the fact that the consignee tribulates ectoproct is correct. sent6: the fact that the chordate monopolizes sealant and it is a preliminary is wrong. sent7: the consignee is disproportionate. sent8: that the consignee does not clamor electromagnetism and is not metamorphous does not hold. sent9: everything is not metamorphous. sent10: if something is not metamorphous the fact that that it is econometric thing that does clamor electromagnetism is true does not hold. sent11: if something is metamorphous then it is proportionate thing that does not clamor electromagnetism. sent12: if the bouchee is disproportionate it does tribulate ectoproct or it clamors inion or both. sent13: something is an abbreviation but it is not econometric if it is a paramilitary. sent14: if something is not proportionate it either does tribulate ectoproct or clamors inion or both. sent15: the fact that the consignee does not clamor electromagnetism but it is metamorphous does not hold. sent16: if the fact that the chordate monopolizes sealant and is a preliminary does not hold then it is not a kind of a preliminary. sent17: if the consignee is metamorphous the bouchee is disproportionate. sent18: the consignee is not non-paramilitary if the fact that that the appointment is not a kind of a vamp hold is false. sent19: the bouchee is metamorphous if the consignee is both an abbreviation and not econometric.
sent4 -> int1: the bouchee does tribulate ectoproct or does not clamor inion or both if it is disproportionate.;
the fact that the bouchee does tribulate ectoproct and/or does not clamor inion is wrong.
sent1 -> int2: the fact that the bouchee does tribulate ectoproct and/or it does not clamor inion is not right if it is not disproportionate.; sent11 -> int3: the bouchee is not disproportionate and it does not clamor electromagnetism if that that it is not metamorphous is not incorrect is not right.; sent13 -> int4: the consignee is an abbreviation and is not econometric if it is a paramilitary.; sent16 & sent6 -> int5: the chordate is not a preliminary.; int5 -> int6: there exists something such that that it is not a kind of a preliminary is correct.;
$hypothesis$ = the bouchee either does tribulate ectoproct or does not clamor inion or both. ; $context$ = sent1: the fact that something does tribulate ectoproct and/or does not clamor inion is not true if it is not disproportionate. sent2: the bouchee does clamor electromagnetism and/or it is a transportation. sent3: the bouchee tribulates ectoproct and/or does clamor inion. sent4: something tribulates ectoproct and/or does not clamor inion if it is disproportionate. sent5: if the fact that the bouchee clamors inion hold then the fact that the consignee tribulates ectoproct is correct. sent6: the fact that the chordate monopolizes sealant and it is a preliminary is wrong. sent7: the consignee is disproportionate. sent8: that the consignee does not clamor electromagnetism and is not metamorphous does not hold. sent9: everything is not metamorphous. sent10: if something is not metamorphous the fact that that it is econometric thing that does clamor electromagnetism is true does not hold. sent11: if something is metamorphous then it is proportionate thing that does not clamor electromagnetism. sent12: if the bouchee is disproportionate it does tribulate ectoproct or it clamors inion or both. sent13: something is an abbreviation but it is not econometric if it is a paramilitary. sent14: if something is not proportionate it either does tribulate ectoproct or clamors inion or both. sent15: the fact that the consignee does not clamor electromagnetism but it is metamorphous does not hold. sent16: if the fact that the chordate monopolizes sealant and is a preliminary does not hold then it is not a kind of a preliminary. sent17: if the consignee is metamorphous the bouchee is disproportionate. sent18: the consignee is not non-paramilitary if the fact that that the appointment is not a kind of a vamp hold is false. sent19: the bouchee is metamorphous if the consignee is both an abbreviation and not econometric. ; $proof$ = 
sent4 -> int1: the bouchee does tribulate ectoproct or does not clamor inion or both if it is disproportionate.; __UNKNOWN__