the paleocerebellum is a kind of an opportunist.
sent1: there exists something such that it is mercantile. sent2: there exists something such that that it is not a kind of a dissent and it does snuff hair's-breadth is not incorrect. sent3: there exists something such that it does not dissent. sent4: if there is something such that it is a dissent and does snuff hair's-breadth then the rigout is not mercantile. sent5: the mirasol does not snuff Astarte if something is not mercantile. sent6: the paleocerebellum is not an opportunist if the mirasol does not snuff Astarte and it does not snuff PPLO. sent7: if there is something such that it is not mercantile the mirasol does not snuff Astarte and it does not snuff PPLO. sent8: if something is not a dissent and does snuff hair's-breadth then that the rigout is not mercantile is not false.
sent2 & sent8 -> int1: the rigout is not mercantile.; int1 -> int2: there exists something such that it is not mercantile.; int2 & sent7 -> int3: the mirasol does not snuff Astarte and it does not snuff PPLO.; int3 & sent6 -> hypothesis;
$hypothesis$ = the paleocerebellum is a kind of an opportunist. ; $context$ = sent1: there exists something such that it is mercantile. sent2: there exists something such that that it is not a kind of a dissent and it does snuff hair's-breadth is not incorrect. sent3: there exists something such that it does not dissent. sent4: if there is something such that it is a dissent and does snuff hair's-breadth then the rigout is not mercantile. sent5: the mirasol does not snuff Astarte if something is not mercantile. sent6: the paleocerebellum is not an opportunist if the mirasol does not snuff Astarte and it does not snuff PPLO. sent7: if there is something such that it is not mercantile the mirasol does not snuff Astarte and it does not snuff PPLO. sent8: if something is not a dissent and does snuff hair's-breadth then that the rigout is not mercantile is not false. ; $proof$ = 
sent2 & sent8 -> int1: the rigout is not mercantile.; int1 -> int2: there exists something such that it is not mercantile.; int2 & sent7 -> int3: the mirasol does not snuff Astarte and it does not snuff PPLO.; int3 & sent6 -> hypothesis; __DISPROVED__