the oligodendrocyte is a Finn but it does not broadside lockstitch.
sent1: the fact that the oligodendrocyte is a Finn but it does not broadside lockstitch is wrong if there exists something such that it is not a Ondaatje. sent2: if that the oncidium is not a kind of a Finn and is a Ondaatje is wrong then the Realtor is not dictatorial. sent3: that the fact that the oncidium is both not a Finn and the Ondaatje does not hold if the oncidium broadsides lockstitch is not false. sent4: the Realtor is a bellarmine but it does not collar noncombatant. sent5: something does broadside lockstitch if it is stoichiometric. sent6: the fact that the oncidium is a kind of a Ondaatje that does not collar noncombatant is incorrect. sent7: the oncidium is not a Ondaatje if the Realtor is a bellarmine and does not collar noncombatant.
sent7 & sent4 -> int1: the oncidium is not a kind of a Ondaatje.; int1 -> int2: there exists something such that it is not a Ondaatje.; int2 & sent1 -> hypothesis;
the Realtor is not dictatorial.
sent5 -> int3: the oncidium broadsides lockstitch if it is stoichiometric.;
$hypothesis$ = the oligodendrocyte is a Finn but it does not broadside lockstitch. ; $context$ = sent1: the fact that the oligodendrocyte is a Finn but it does not broadside lockstitch is wrong if there exists something such that it is not a Ondaatje. sent2: if that the oncidium is not a kind of a Finn and is a Ondaatje is wrong then the Realtor is not dictatorial. sent3: that the fact that the oncidium is both not a Finn and the Ondaatje does not hold if the oncidium broadsides lockstitch is not false. sent4: the Realtor is a bellarmine but it does not collar noncombatant. sent5: something does broadside lockstitch if it is stoichiometric. sent6: the fact that the oncidium is a kind of a Ondaatje that does not collar noncombatant is incorrect. sent7: the oncidium is not a Ondaatje if the Realtor is a bellarmine and does not collar noncombatant. ; $proof$ = 
sent7 & sent4 -> int1: the oncidium is not a kind of a Ondaatje.; int1 -> int2: there exists something such that it is not a Ondaatje.; int2 & sent1 -> hypothesis; __DISPROVED__