the apomorphine is not a kind of a duologue.
sent1: something is not a duologue but a Arulo if it does not parch Cousteau. sent2: if the apomorphine is not a duologue it is both a durative and a pearlite. sent3: the Praetorian does parch hushed and it does parch Cousteau. sent4: if that the bronze does parch bronze and is hypertonic does not hold that it is not hypertonic is not false. sent5: that something parches bronze and it is hypertonic does not hold if it is not a kind of a Italian. sent6: if that the apomorphine is a durative is true then the Praetorian is a Arulo. sent7: if the Praetorian does parch hushed and does parch Cousteau then it is not a Arulo. sent8: the fact that the Praetorian is hypertonic is true if the bronze is not hypertonic. sent9: everything is Wittgensteinian thing that is not a Italian.
void -> assump1: Let's assume that the apomorphine is not a duologue.; sent2 & assump1 -> int1: the apomorphine is a durative and is a pearlite.; int1 -> int2: the apomorphine is a kind of a durative.; int2 & sent6 -> int3: the Praetorian is a kind of a Arulo.; sent7 & sent3 -> int4: the Praetorian is not a Arulo.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the apomorphine is not a kind of a duologue.
sent1 -> int6: if the apomorphine does not parch Cousteau then the fact that it is not a kind of a duologue and is a kind of a Arulo is true.; sent5 -> int7: that the milkwort does parch bronze and is hypertonic is not correct if it is not a kind of a Italian.; sent9 -> int8: the fact that the milkwort is Wittgensteinian but it is not a Italian hold.; int8 -> int9: the milkwort is not a kind of a Italian.; int7 & int9 -> int10: the fact that the milkwort does parch bronze and is hypertonic does not hold.; int10 -> int11: there is nothing such that it parches bronze and it is hypertonic.; int11 -> int12: that the bronze does parch bronze and is hypertonic is not true.; sent4 & int12 -> int13: the bronze is not hypertonic.; int13 & sent8 -> int14: the Praetorian is hypertonic.;
$hypothesis$ = the apomorphine is not a kind of a duologue. ; $context$ = sent1: something is not a duologue but a Arulo if it does not parch Cousteau. sent2: if the apomorphine is not a duologue it is both a durative and a pearlite. sent3: the Praetorian does parch hushed and it does parch Cousteau. sent4: if that the bronze does parch bronze and is hypertonic does not hold that it is not hypertonic is not false. sent5: that something parches bronze and it is hypertonic does not hold if it is not a kind of a Italian. sent6: if that the apomorphine is a durative is true then the Praetorian is a Arulo. sent7: if the Praetorian does parch hushed and does parch Cousteau then it is not a Arulo. sent8: the fact that the Praetorian is hypertonic is true if the bronze is not hypertonic. sent9: everything is Wittgensteinian thing that is not a Italian. ; $proof$ = 
void -> assump1: Let's assume that the apomorphine is not a duologue.; sent2 & assump1 -> int1: the apomorphine is a durative and is a pearlite.; int1 -> int2: the apomorphine is a kind of a durative.; int2 & sent6 -> int3: the Praetorian is a kind of a Arulo.; sent7 & sent3 -> int4: the Praetorian is not a Arulo.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__