that the loop is not zonal but it is a kind of a dishonorableness is not true.
sent1: that the sycophant is mineral and is robust is not true. sent2: the loop is not intracranial and is noncritical. sent3: the loop is not a tattoo. sent4: if the iconoscope is tropical but not non-allophonic then it is eager. sent5: the simulacrum is not illogical. sent6: something is not climactic if it is not a unionization and is a toolbox. sent7: something is not inopportune if it does not ammoniate disrepair. sent8: the loop is dirty thing that clanks hemoglobin. sent9: the loop is non-illogical. sent10: the fact that the loop is a kind of a givenness that does clank loir is incorrect. sent11: that the loop does not clank clitoridectomy if the loop is not a uncongeniality and is guilty hold. sent12: the loop is not a kind of a megestrol. sent13: the loop is not a kind of a sweetheart if it is illogical and is a kind of a grimoire. sent14: the loop is not sigmoid but it is a kind of an adequacy. sent15: if something that does stone net is a kind of a blowing it is not a calciferol. sent16: the love clanks hemoglobin if it does crook cassock and it does stone net. sent17: if something is a kind of non-zonal thing that is a kind of a dishonorableness it is not allophonic. sent18: if something is not allophonic then it is not oaten and it is a uncongeniality. sent19: the bulbul is not oaten. sent20: that the loop is a sweetheart and it is onomatopoeic is not right. sent21: something that is not oaten but a uncongeniality is illogical. sent22: if something is just and it is intrapulmonary then it does not ammoniate loop.
sent17 -> int1: if the loop is a kind of non-zonal a dishonorableness then it is not allophonic.; void -> assump1: Let's assume that the loop is not zonal but a dishonorableness.; int1 & assump1 -> int2: the loop is not allophonic.; sent18 -> int3: the fact that the loop is both not oaten and a uncongeniality is not wrong if the fact that it is not allophonic is not incorrect.; int2 & int3 -> int4: the loop is not oaten but it is a uncongeniality.; sent21 -> int5: if the loop is both not oaten and a uncongeniality it is illogical.; int4 & int5 -> int6: the loop is illogical.; int6 & sent9 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = that the loop is not zonal but it is a kind of a dishonorableness is not true. ; $context$ = sent1: that the sycophant is mineral and is robust is not true. sent2: the loop is not intracranial and is noncritical. sent3: the loop is not a tattoo. sent4: if the iconoscope is tropical but not non-allophonic then it is eager. sent5: the simulacrum is not illogical. sent6: something is not climactic if it is not a unionization and is a toolbox. sent7: something is not inopportune if it does not ammoniate disrepair. sent8: the loop is dirty thing that clanks hemoglobin. sent9: the loop is non-illogical. sent10: the fact that the loop is a kind of a givenness that does clank loir is incorrect. sent11: that the loop does not clank clitoridectomy if the loop is not a uncongeniality and is guilty hold. sent12: the loop is not a kind of a megestrol. sent13: the loop is not a kind of a sweetheart if it is illogical and is a kind of a grimoire. sent14: the loop is not sigmoid but it is a kind of an adequacy. sent15: if something that does stone net is a kind of a blowing it is not a calciferol. sent16: the love clanks hemoglobin if it does crook cassock and it does stone net. sent17: if something is a kind of non-zonal thing that is a kind of a dishonorableness it is not allophonic. sent18: if something is not allophonic then it is not oaten and it is a uncongeniality. sent19: the bulbul is not oaten. sent20: that the loop is a sweetheart and it is onomatopoeic is not right. sent21: something that is not oaten but a uncongeniality is illogical. sent22: if something is just and it is intrapulmonary then it does not ammoniate loop. ; $proof$ = 
sent17 -> int1: if the loop is a kind of non-zonal a dishonorableness then it is not allophonic.; void -> assump1: Let's assume that the loop is not zonal but a dishonorableness.; int1 & assump1 -> int2: the loop is not allophonic.; sent18 -> int3: the fact that the loop is both not oaten and a uncongeniality is not wrong if the fact that it is not allophonic is not incorrect.; int2 & int3 -> int4: the loop is not oaten but it is a uncongeniality.; sent21 -> int5: if the loop is both not oaten and a uncongeniality it is illogical.; int4 & int5 -> int6: the loop is illogical.; int6 & sent9 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__