the bulla is a kind of a Chinese.
sent1: the bulla is a kind of a Ecballium. sent2: if the tollbooth is not a kind of a fair then the fact that it is a kind of non-benign thing that ignores bowdlerization is wrong. sent3: something is not Chinese if it refutes cultivator. sent4: the bulla is a kind of acrogenic a nation. sent5: the fact that the fact that the bulla refutes cultivator and is not a desperate is correct is not true. sent6: if the bulla does not refute cultivator and it is not a desperate it is not acrogenic. sent7: the bulla is not a Chinese if it refutes cultivator. sent8: something is not Chinese if that the fact that it does not refute cultivator and it is not a desperate is right is false. sent9: if the bulla does refute cultivator and is not a desperate it is not acrogenic. sent10: the tollbooth does not ignore pelter and it does not fair. sent11: the bulla does not refute cultivator. sent12: the bulla is a nation. sent13: the shot is not a nation. sent14: the wulfenite is a Chinese. sent15: the export is not a kind of a nation. sent16: the bulla does not flick committee. sent17: if the fact that the tollbooth is not benign but it does ignore bowdlerization is not correct it does not ignore bowdlerization. sent18: if the bulla is a Chinese then the fact that the liege is non-acrogenic thing that does not flick rhythmicity is not correct.
void -> assump1: Let's assume that the bulla does not refute cultivator and is not a desperate.; sent6 & assump1 -> int1: the bulla is not acrogenic.; sent4 -> int2: the bulla is acrogenic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the bulla does not refute cultivator and it is not a kind of a desperate does not hold.; sent8 -> int5: if the fact that the bulla does not refute cultivator and is not a kind of a desperate does not hold then it is not a Chinese.; int4 & int5 -> hypothesis;
the fact that the liege is not acrogenic and does not flick rhythmicity does not hold.
$hypothesis$ = the bulla is a kind of a Chinese. ; $context$ = sent1: the bulla is a kind of a Ecballium. sent2: if the tollbooth is not a kind of a fair then the fact that it is a kind of non-benign thing that ignores bowdlerization is wrong. sent3: something is not Chinese if it refutes cultivator. sent4: the bulla is a kind of acrogenic a nation. sent5: the fact that the fact that the bulla refutes cultivator and is not a desperate is correct is not true. sent6: if the bulla does not refute cultivator and it is not a desperate it is not acrogenic. sent7: the bulla is not a Chinese if it refutes cultivator. sent8: something is not Chinese if that the fact that it does not refute cultivator and it is not a desperate is right is false. sent9: if the bulla does refute cultivator and is not a desperate it is not acrogenic. sent10: the tollbooth does not ignore pelter and it does not fair. sent11: the bulla does not refute cultivator. sent12: the bulla is a nation. sent13: the shot is not a nation. sent14: the wulfenite is a Chinese. sent15: the export is not a kind of a nation. sent16: the bulla does not flick committee. sent17: if the fact that the tollbooth is not benign but it does ignore bowdlerization is not correct it does not ignore bowdlerization. sent18: if the bulla is a Chinese then the fact that the liege is non-acrogenic thing that does not flick rhythmicity is not correct. ; $proof$ = 
void -> assump1: Let's assume that the bulla does not refute cultivator and is not a desperate.; sent6 & assump1 -> int1: the bulla is not acrogenic.; sent4 -> int2: the bulla is acrogenic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the bulla does not refute cultivator and it is not a kind of a desperate does not hold.; sent8 -> int5: if the fact that the bulla does not refute cultivator and is not a kind of a desperate does not hold then it is not a Chinese.; int4 & int5 -> hypothesis; __DISPROVED__