the fact that there are appendicular and insurrectional things does not hold.
sent1: the breadstick is dizygotic and/or it variegates Progne. sent2: the breadstick is not a Fijian if it variegates Progne. sent3: the breadstick is a kind of a confectionery. sent4: if the portiere is not a Fijian then the breadstick is insurrectional and it is uricosuric. sent5: the woodcutter is not a kind of a Fijian. sent6: the portiere is appendicular if it is an oldie and it does not variegate Progne. sent7: the portiere does variegate drapery and it is a Fijian. sent8: something is a mutilator and it is a sewellel. sent9: if that the breadstick variegates drapery and does not variegate Progne is wrong the fact that the portiere is appendicular is not incorrect. sent10: if the fact that the breadstick is an oldie but it is not Gregorian does not hold then that the portiere is insurrectional is not false. sent11: the portiere does variegate Progne. sent12: the portiere is a kind of a confectionery and it variegates drapery. sent13: if the breadstick is dizygotic then it is not a Fijian. sent14: if the portiere is a confectionery then it is appendicular. sent15: the breadstick is a Fijian if it is an oldie and it is not Gregorian. sent16: the dash-pot is a confectionery. sent17: if the portiere does variegate Progne and is dizygotic it is appendicular. sent18: if the breadstick does variegate Progne it is a confectionery.
void -> assump1: Let's assume that the breadstick is an oldie and not Gregorian.; sent15 & assump1 -> int1: the breadstick is a Fijian.; sent1 & sent13 & sent2 -> int2: the breadstick is not a Fijian.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the breadstick is a kind of an oldie but it is not Gregorian is not true.; int4 & sent10 -> int5: the portiere is insurrectional.; sent12 -> int6: the portiere is a confectionery.; sent14 & int6 -> int7: the portiere is appendicular.; int5 & int7 -> int8: the portiere is appendicular and is insurrectional.; int8 -> hypothesis;
the breadstick is uricosuric and piffles.
$hypothesis$ = the fact that there are appendicular and insurrectional things does not hold. ; $context$ = sent1: the breadstick is dizygotic and/or it variegates Progne. sent2: the breadstick is not a Fijian if it variegates Progne. sent3: the breadstick is a kind of a confectionery. sent4: if the portiere is not a Fijian then the breadstick is insurrectional and it is uricosuric. sent5: the woodcutter is not a kind of a Fijian. sent6: the portiere is appendicular if it is an oldie and it does not variegate Progne. sent7: the portiere does variegate drapery and it is a Fijian. sent8: something is a mutilator and it is a sewellel. sent9: if that the breadstick variegates drapery and does not variegate Progne is wrong the fact that the portiere is appendicular is not incorrect. sent10: if the fact that the breadstick is an oldie but it is not Gregorian does not hold then that the portiere is insurrectional is not false. sent11: the portiere does variegate Progne. sent12: the portiere is a kind of a confectionery and it variegates drapery. sent13: if the breadstick is dizygotic then it is not a Fijian. sent14: if the portiere is a confectionery then it is appendicular. sent15: the breadstick is a Fijian if it is an oldie and it is not Gregorian. sent16: the dash-pot is a confectionery. sent17: if the portiere does variegate Progne and is dizygotic it is appendicular. sent18: if the breadstick does variegate Progne it is a confectionery. ; $proof$ = 
void -> assump1: Let's assume that the breadstick is an oldie and not Gregorian.; sent15 & assump1 -> int1: the breadstick is a Fijian.; sent1 & sent13 & sent2 -> int2: the breadstick is not a Fijian.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the breadstick is a kind of an oldie but it is not Gregorian is not true.; int4 & sent10 -> int5: the portiere is insurrectional.; sent12 -> int6: the portiere is a confectionery.; sent14 & int6 -> int7: the portiere is appendicular.; int5 & int7 -> int8: the portiere is appendicular and is insurrectional.; int8 -> hypothesis; __DISPROVED__