the hippocampus is a whiner and not a Altaic.
sent1: if the peeper is not a whiner that the hippocampus is a kind of a whiner but it is not a Altaic is not correct. sent2: if there exists something such that the fact that it is frictionless and/or it ushers Ordovician is incorrect the culvert is not a coxswain. sent3: that the peeper is stoloniferous but it is not a Igbo is false if the culvert is not a coxswain. sent4: if that the fact that something is stoloniferous but it is not a Igbo is not incorrect is not correct it is not a whiner. sent5: there exists something such that the fact that it is frictionless or does usher Ordovician or both is wrong.
sent5 & sent2 -> int1: the culvert is not a coxswain.; int1 & sent3 -> int2: that the peeper is stoloniferous and is not a Igbo is false.; sent4 -> int3: if the fact that the peeper is stoloniferous and is not a Igbo is incorrect then it is not a kind of a whiner.; int2 & int3 -> int4: the peeper is not a whiner.; int4 & sent1 -> hypothesis;
$hypothesis$ = the hippocampus is a whiner and not a Altaic. ; $context$ = sent1: if the peeper is not a whiner that the hippocampus is a kind of a whiner but it is not a Altaic is not correct. sent2: if there exists something such that the fact that it is frictionless and/or it ushers Ordovician is incorrect the culvert is not a coxswain. sent3: that the peeper is stoloniferous but it is not a Igbo is false if the culvert is not a coxswain. sent4: if that the fact that something is stoloniferous but it is not a Igbo is not incorrect is not correct it is not a whiner. sent5: there exists something such that the fact that it is frictionless or does usher Ordovician or both is wrong. ; $proof$ = 
sent5 & sent2 -> int1: the culvert is not a coxswain.; int1 & sent3 -> int2: that the peeper is stoloniferous and is not a Igbo is false.; sent4 -> int3: if the fact that the peeper is stoloniferous and is not a Igbo is incorrect then it is not a kind of a whiner.; int2 & int3 -> int4: the peeper is not a whiner.; int4 & sent1 -> hypothesis; __DISPROVED__