the octant is not unsanitary.
sent1: the octant is unsanitary if a non-scalene thing is a blond. sent2: there exists something such that that it is both not a promethazine and a manul is wrong. sent3: a domestic thing is not unsanitary. sent4: there is something such that the fact that it is baptismal hold. sent5: if there is something such that that it is not a promethazine and is a kind of a manul is not true the storminess is a kind of a hardbake. sent6: the bank does not upload picturesqueness if that the chokecherry does upload picturesqueness and it does uncoil bauble is false. sent7: the fact that the concrete does not manacle or it does not uncoil put-put or both does not hold if that the put-put is not an accompanist is not wrong. sent8: something is not baptismal if it is both not lexical and a hardbake. sent9: if the fact that the bank is undomestic is not false it is a granule but not nonimitative. sent10: something is not scalene but it is a blond if it is not undomestic. sent11: the fact that something is blond thing that is scalene does not hold if it does not upload picturesqueness. sent12: if that that the concrete does not manacle and/or does not uncoil put-put is not wrong is false the storminess is not lexical. sent13: the bank uploads picturesqueness if there exists something such that it is baptismal. sent14: the bank is not scalene if it is not undomestic. sent15: the put-put is not an accompanist. sent16: something is nonimitative if it does upload picturesqueness.
void -> assump1: Let's assume that the bank is undomestic.; sent9 & assump1 -> int1: the bank is a granule but it is not nonimitative.; int1 -> int2: the bank is not nonimitative.; sent16 -> int3: if the bank does upload picturesqueness then it is nonimitative.; sent4 & sent13 -> int4: the bank does upload picturesqueness.; int3 & int4 -> int5: the bank is nonimitative.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bank is not undomestic.; sent10 -> int8: the bank is not scalene but it is a blond if that it is not undomestic is not false.; int7 & int8 -> int9: the bank is both not scalene and a blond.; int9 -> int10: something is both not scalene and not non-blond.; int10 & sent1 -> hypothesis;
the octant is not unsanitary.
sent3 -> int11: the octant is not unsanitary if it is not undomestic.; sent11 -> int12: that the bank is both blond and not non-scalene is not correct if it does not upload picturesqueness.; sent8 -> int13: the storminess is not baptismal if it is non-lexical a hardbake.; sent7 & sent15 -> int14: the fact that that the concrete does not manacle and/or it does not uncoil put-put is correct is wrong.; sent12 & int14 -> int15: the storminess is not lexical.; sent2 & sent5 -> int16: the storminess is a hardbake.; int15 & int16 -> int17: the storminess is not lexical but it is a hardbake.; int13 & int17 -> int18: that the storminess is not baptismal is right.; int18 -> int19: there are non-baptismal things.;
$hypothesis$ = the octant is not unsanitary. ; $context$ = sent1: the octant is unsanitary if a non-scalene thing is a blond. sent2: there exists something such that that it is both not a promethazine and a manul is wrong. sent3: a domestic thing is not unsanitary. sent4: there is something such that the fact that it is baptismal hold. sent5: if there is something such that that it is not a promethazine and is a kind of a manul is not true the storminess is a kind of a hardbake. sent6: the bank does not upload picturesqueness if that the chokecherry does upload picturesqueness and it does uncoil bauble is false. sent7: the fact that the concrete does not manacle or it does not uncoil put-put or both does not hold if that the put-put is not an accompanist is not wrong. sent8: something is not baptismal if it is both not lexical and a hardbake. sent9: if the fact that the bank is undomestic is not false it is a granule but not nonimitative. sent10: something is not scalene but it is a blond if it is not undomestic. sent11: the fact that something is blond thing that is scalene does not hold if it does not upload picturesqueness. sent12: if that that the concrete does not manacle and/or does not uncoil put-put is not wrong is false the storminess is not lexical. sent13: the bank uploads picturesqueness if there exists something such that it is baptismal. sent14: the bank is not scalene if it is not undomestic. sent15: the put-put is not an accompanist. sent16: something is nonimitative if it does upload picturesqueness. ; $proof$ = 
void -> assump1: Let's assume that the bank is undomestic.; sent9 & assump1 -> int1: the bank is a granule but it is not nonimitative.; int1 -> int2: the bank is not nonimitative.; sent16 -> int3: if the bank does upload picturesqueness then it is nonimitative.; sent4 & sent13 -> int4: the bank does upload picturesqueness.; int3 & int4 -> int5: the bank is nonimitative.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bank is not undomestic.; sent10 -> int8: the bank is not scalene but it is a blond if that it is not undomestic is not false.; int7 & int8 -> int9: the bank is both not scalene and a blond.; int9 -> int10: something is both not scalene and not non-blond.; int10 & sent1 -> hypothesis; __DISPROVED__