the fact that if the larkspur is a Bucephala then the pas is a Bahaism is not true.
sent1: the ilmenite does not sample sausage if there is something such that it is a lass and/or a Bucephala. sent2: the pull-up is a kind of a restaurant. sent3: the pas samples sausage. sent4: there exists something such that it is a Bucephala. sent5: there is something such that it is a kind of a lass. sent6: the ilmenite is a Bucephala but it is non-provincial if the larkspur does not sample sausage. sent7: if the larkspur is provincial the pull-up is a kind of a lass. sent8: if the ilmenite does not sample sausage then that the pull-up is a kind of a restaurant and is not provincial is not false. sent9: something is not a kind of a Bucephala if it does not sample sausage and is a provincial. sent10: the larkspur is a lass. sent11: if the ilmenite does not sample sausage then the pull-up is a restaurant. sent12: if the pas is a restaurant that the pull-up is a kind of a Bahaism is correct. sent13: the larkspur is a kind of a Bahaism if that the pas is a lass but it is not a restaurant is right. sent14: if that the pull-up is a restaurant that is not a provincial is correct the pas is a Bahaism. sent15: the ilmenite is a kind of a inspissation. sent16: the pull-up does not hook gem. sent17: the fact that the larkspur is not a restaurant is incorrect. sent18: that something is both not a lass and a Bucephala if it does not sample sausage is not false.
void -> assump1: Let's assume that the larkspur is a Bucephala.; assump1 -> int1: the larkspur is a lass and/or a Bucephala.; int1 -> int2: something is a lass and/or a Bucephala.; int2 & sent1 -> int3: the ilmenite does not sample sausage.; int3 & sent8 -> int4: the pull-up is a restaurant but it is not a provincial.; int4 & sent14 -> int5: the pas is a Bahaism.; [assump1] & int5 -> hypothesis;
the titterer is not provincial.
sent18 -> int6: the larkspur is not a lass but a Bucephala if it does not sample sausage.;
$hypothesis$ = the fact that if the larkspur is a Bucephala then the pas is a Bahaism is not true. ; $context$ = sent1: the ilmenite does not sample sausage if there is something such that it is a lass and/or a Bucephala. sent2: the pull-up is a kind of a restaurant. sent3: the pas samples sausage. sent4: there exists something such that it is a Bucephala. sent5: there is something such that it is a kind of a lass. sent6: the ilmenite is a Bucephala but it is non-provincial if the larkspur does not sample sausage. sent7: if the larkspur is provincial the pull-up is a kind of a lass. sent8: if the ilmenite does not sample sausage then that the pull-up is a kind of a restaurant and is not provincial is not false. sent9: something is not a kind of a Bucephala if it does not sample sausage and is a provincial. sent10: the larkspur is a lass. sent11: if the ilmenite does not sample sausage then the pull-up is a restaurant. sent12: if the pas is a restaurant that the pull-up is a kind of a Bahaism is correct. sent13: the larkspur is a kind of a Bahaism if that the pas is a lass but it is not a restaurant is right. sent14: if that the pull-up is a restaurant that is not a provincial is correct the pas is a Bahaism. sent15: the ilmenite is a kind of a inspissation. sent16: the pull-up does not hook gem. sent17: the fact that the larkspur is not a restaurant is incorrect. sent18: that something is both not a lass and a Bucephala if it does not sample sausage is not false. ; $proof$ = 
void -> assump1: Let's assume that the larkspur is a Bucephala.; assump1 -> int1: the larkspur is a lass and/or a Bucephala.; int1 -> int2: something is a lass and/or a Bucephala.; int2 & sent1 -> int3: the ilmenite does not sample sausage.; int3 & sent8 -> int4: the pull-up is a restaurant but it is not a provincial.; int4 & sent14 -> int5: the pas is a Bahaism.; [assump1] & int5 -> hypothesis; __DISPROVED__