the flummery is not a kind of a phacoemulsification but it is a weigela.
sent1: there is something such that it is philosophic. sent2: if there exists something such that it is accurate and a Laridae then the thimbleberry runs Ashurbanipal. sent3: something is a facial. sent4: the bestiality is not inaccurate but it is a Laridae. sent5: something is a kind of a Laridae. sent6: the flummery is not scholastic. sent7: if a facial thing is not scholastic it is scorbutic. sent8: the flummery is facial thing that is not scholastic if something runs Ashurbanipal. sent9: the fact that the fact that something is not a phacoemulsification and is a kind of a weigela is not false does not hold if it is not non-scorbutic.
sent4 -> int1: there exists something such that it is accurate a Laridae.; int1 & sent2 -> int2: the thimbleberry does run Ashurbanipal.; int2 -> int3: there is something such that it does run Ashurbanipal.; int3 & sent8 -> int4: the flummery is a facial but it is not scholastic.; sent7 -> int5: if the flummery is a kind of facial thing that is not scholastic then that it is scorbutic is correct.; int4 & int5 -> int6: the flummery is scorbutic.; sent9 -> int7: if the flummery is scorbutic then that it is both not a phacoemulsification and a weigela is wrong.; int6 & int7 -> hypothesis;
the flummery is not a phacoemulsification but it is a kind of a weigela.
$hypothesis$ = the flummery is not a kind of a phacoemulsification but it is a weigela. ; $context$ = sent1: there is something such that it is philosophic. sent2: if there exists something such that it is accurate and a Laridae then the thimbleberry runs Ashurbanipal. sent3: something is a facial. sent4: the bestiality is not inaccurate but it is a Laridae. sent5: something is a kind of a Laridae. sent6: the flummery is not scholastic. sent7: if a facial thing is not scholastic it is scorbutic. sent8: the flummery is facial thing that is not scholastic if something runs Ashurbanipal. sent9: the fact that the fact that something is not a phacoemulsification and is a kind of a weigela is not false does not hold if it is not non-scorbutic. ; $proof$ = 
sent4 -> int1: there exists something such that it is accurate a Laridae.; int1 & sent2 -> int2: the thimbleberry does run Ashurbanipal.; int2 -> int3: there is something such that it does run Ashurbanipal.; int3 & sent8 -> int4: the flummery is a facial but it is not scholastic.; sent7 -> int5: if the flummery is a kind of facial thing that is not scholastic then that it is scorbutic is correct.; int4 & int5 -> int6: the flummery is scorbutic.; sent9 -> int7: if the flummery is scorbutic then that it is both not a phacoemulsification and a weigela is wrong.; int6 & int7 -> hypothesis; __DISPROVED__