that the aqualung does repine cartage but it is not a Concepcion does not hold.
sent1: something does repine cartage if that it is not a barbwire but non-last is false. sent2: the aqualung is not a Cervus if it is not a episcopate. sent3: there is something such that it is last. sent4: the fact that the lipase is not a kind of a button and it is not digital does not hold. sent5: that the aqualung repines cartage but it is not digital is incorrect if there is something such that it is digital. sent6: if there is something such that it does last then the fact that the aqualung is not a barbwire and it does not last is not right. sent7: something is unholy. sent8: that if the fact that something does not hunt but it is a greenishness is not right then it is not a kind of a Concepcion is not false. sent9: that the aqualung is both not a hunt and a greenishness is not correct if it is not digital. sent10: the aqualung is not digital.
sent1 -> int1: if that the aqualung is not a barbwire and it does not last is false it does repine cartage.; sent3 & sent6 -> int2: the fact that the aqualung is not a barbwire and it is not last is false.; int1 & int2 -> int3: the aqualung does repine cartage.; sent8 -> int4: the aqualung is not a kind of a Concepcion if the fact that it is both not a hunt and a greenishness is not true.; sent9 & sent10 -> int5: that the aqualung is not a kind of a hunt and is a greenishness is wrong.; int4 & int5 -> int6: the aqualung is not a Concepcion.; int3 & int6 -> hypothesis;
the fact that the aqualung does repine cartage and is not a kind of a Concepcion is not true.
sent4 -> int7: there is something such that the fact that it is both not a button and not digital does not hold.;
$hypothesis$ = that the aqualung does repine cartage but it is not a Concepcion does not hold. ; $context$ = sent1: something does repine cartage if that it is not a barbwire but non-last is false. sent2: the aqualung is not a Cervus if it is not a episcopate. sent3: there is something such that it is last. sent4: the fact that the lipase is not a kind of a button and it is not digital does not hold. sent5: that the aqualung repines cartage but it is not digital is incorrect if there is something such that it is digital. sent6: if there is something such that it does last then the fact that the aqualung is not a barbwire and it does not last is not right. sent7: something is unholy. sent8: that if the fact that something does not hunt but it is a greenishness is not right then it is not a kind of a Concepcion is not false. sent9: that the aqualung is both not a hunt and a greenishness is not correct if it is not digital. sent10: the aqualung is not digital. ; $proof$ = 
sent1 -> int1: if that the aqualung is not a barbwire and it does not last is false it does repine cartage.; sent3 & sent6 -> int2: the fact that the aqualung is not a barbwire and it is not last is false.; int1 & int2 -> int3: the aqualung does repine cartage.; sent8 -> int4: the aqualung is not a kind of a Concepcion if the fact that it is both not a hunt and a greenishness is not true.; sent9 & sent10 -> int5: that the aqualung is not a kind of a hunt and is a greenishness is wrong.; int4 & int5 -> int6: the aqualung is not a Concepcion.; int3 & int6 -> hypothesis; __DISPROVED__