that the flindosa is both a stick and not parhelic is not right.
sent1: the wassail is alchemic. sent2: if the wassail is controversial then the detox is not a have but it is finite. sent3: the mesohippus is parhelic. sent4: the detox does not cope Bothidae if it does not have and it is finite. sent5: the detox copes Guernsey and is a oxidoreductase. sent6: the fact that the flindosa does stick and is parhelic is false. sent7: the detox does lurch snowflake and is nonlinear. sent8: the wassail is a Dacelo that does cope resuspension. sent9: if the flindosa does lurch snowflake the fact that it does stick and it is not parhelic does not hold. sent10: the wassail is finite. sent11: if the detox does not cope Bothidae then the flindosa does cope Bothidae and it lurches snowflake. sent12: the fact that the wassail does cope resuspension is true. sent13: if the wassail is not uncontroversial the detox is finite. sent14: the fact that the wassail is not uncontroversial is right if it is perinasal and/or it is a Dacelo. sent15: the detox does lurch snowflake. sent16: the fact that the wassail is not uncontroversial is true if it is perinasal.
sent8 -> int1: the wassail is a kind of a Dacelo.; int1 -> int2: the wassail is perinasal and/or a Dacelo.; int2 & sent14 -> int3: the wassail is controversial.; int3 & sent2 -> int4: the detox is not a have and is finite.; int4 & sent4 -> int5: the detox does not cope Bothidae.; int5 & sent11 -> int6: the flindosa copes Bothidae and does lurch snowflake.; int6 -> int7: the flindosa lurches snowflake.; int7 & sent9 -> hypothesis;
$hypothesis$ = that the flindosa is both a stick and not parhelic is not right. ; $context$ = sent1: the wassail is alchemic. sent2: if the wassail is controversial then the detox is not a have but it is finite. sent3: the mesohippus is parhelic. sent4: the detox does not cope Bothidae if it does not have and it is finite. sent5: the detox copes Guernsey and is a oxidoreductase. sent6: the fact that the flindosa does stick and is parhelic is false. sent7: the detox does lurch snowflake and is nonlinear. sent8: the wassail is a Dacelo that does cope resuspension. sent9: if the flindosa does lurch snowflake the fact that it does stick and it is not parhelic does not hold. sent10: the wassail is finite. sent11: if the detox does not cope Bothidae then the flindosa does cope Bothidae and it lurches snowflake. sent12: the fact that the wassail does cope resuspension is true. sent13: if the wassail is not uncontroversial the detox is finite. sent14: the fact that the wassail is not uncontroversial is right if it is perinasal and/or it is a Dacelo. sent15: the detox does lurch snowflake. sent16: the fact that the wassail is not uncontroversial is true if it is perinasal. ; $proof$ = 
sent8 -> int1: the wassail is a kind of a Dacelo.; int1 -> int2: the wassail is perinasal and/or a Dacelo.; int2 & sent14 -> int3: the wassail is controversial.; int3 & sent2 -> int4: the detox is not a have and is finite.; int4 & sent4 -> int5: the detox does not cope Bothidae.; int5 & sent11 -> int6: the flindosa copes Bothidae and does lurch snowflake.; int6 -> int7: the flindosa lurches snowflake.; int7 & sent9 -> hypothesis; __PROVED__