the speechwriter is a logion.
sent1: the speechwriter does not extend mulberry if the Mancunian is not a kind of a bunghole and does stub Wesley. sent2: the court is a kind of a autofluorescence that slimes laudanum if the PM is not a ranch. sent3: if something does extend mulberry then it is not a bunghole. sent4: that something is not annalistic but it is a nitpicker does not hold if it is a autofluorescence. sent5: if the budgerigar is not a kind of a bunghole then the speechwriter is not a logion. sent6: if there exists something such that that it slimes hydride and it slimes Phoxinus is not correct the PM is not a kind of a ranch. sent7: there is something such that the fact that it is a nitpicker that stubs Wesley is wrong. sent8: something is not a kind of a bunghole and does stub Wesley if it is not a nitpicker. sent9: something is a kind of a logion if it does not extend mulberry. sent10: the fact that the cyprinodont does slime hydride and slimes Phoxinus does not hold. sent11: that the budgerigar extends mulberry is not wrong if there exists something such that that it is a nitpicker and stubs Wesley is not true. sent12: there exists something such that the fact that it is a bunghole and is a logion is not true.
sent3 -> int1: the budgerigar is not a bunghole if it does extend mulberry.; sent7 & sent11 -> int2: the budgerigar does extend mulberry.; int1 & int2 -> int3: the budgerigar is not a kind of a bunghole.; int3 & sent5 -> hypothesis;
that the speechwriter is a logion is not false.
sent9 -> int4: if the speechwriter does not extend mulberry then it is a logion.; sent8 -> int5: if the Mancunian is not a nitpicker then it is not a kind of a bunghole and does stub Wesley.; sent4 -> int6: if the court is a autofluorescence the fact that it is not annalistic and it is a nitpicker does not hold.; sent10 -> int7: there exists something such that the fact that it does slime hydride and it does slime Phoxinus does not hold.; int7 & sent6 -> int8: the PM does not ranch.; sent2 & int8 -> int9: the court is a kind of a autofluorescence that slimes laudanum.; int9 -> int10: the court is a autofluorescence.; int6 & int10 -> int11: the fact that the court is not annalistic but it is a nitpicker does not hold.; int11 -> int12: there is something such that that it is non-annalistic and it is a nitpicker is false.;
$hypothesis$ = the speechwriter is a logion. ; $context$ = sent1: the speechwriter does not extend mulberry if the Mancunian is not a kind of a bunghole and does stub Wesley. sent2: the court is a kind of a autofluorescence that slimes laudanum if the PM is not a ranch. sent3: if something does extend mulberry then it is not a bunghole. sent4: that something is not annalistic but it is a nitpicker does not hold if it is a autofluorescence. sent5: if the budgerigar is not a kind of a bunghole then the speechwriter is not a logion. sent6: if there exists something such that that it slimes hydride and it slimes Phoxinus is not correct the PM is not a kind of a ranch. sent7: there is something such that the fact that it is a nitpicker that stubs Wesley is wrong. sent8: something is not a kind of a bunghole and does stub Wesley if it is not a nitpicker. sent9: something is a kind of a logion if it does not extend mulberry. sent10: the fact that the cyprinodont does slime hydride and slimes Phoxinus does not hold. sent11: that the budgerigar extends mulberry is not wrong if there exists something such that that it is a nitpicker and stubs Wesley is not true. sent12: there exists something such that the fact that it is a bunghole and is a logion is not true. ; $proof$ = 
sent3 -> int1: the budgerigar is not a bunghole if it does extend mulberry.; sent7 & sent11 -> int2: the budgerigar does extend mulberry.; int1 & int2 -> int3: the budgerigar is not a kind of a bunghole.; int3 & sent5 -> hypothesis; __DISPROVED__