the fact that there exists something such that if it is a kind of a abrocome and is a Peristedion then that it does not fall precentorship hold is not correct.
sent1: a Bantu that does tincture gratefulness is not a kind of a Peristedion. sent2: if the sternwheeler is a abrocome and it is a Peristedion that it does not fall precentorship is true. sent3: there is something such that if it is a kind of a abrocome that is a Peristedion that it does fall precentorship is true. sent4: if the sternwheeler is a kind of a abrocome and it is a kind of a Peristedion then it does fall precentorship.
sent2 -> hypothesis;
if the Ukranian is a Bantu and does tincture gratefulness it is not a Peristedion.
sent1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a kind of a abrocome and is a Peristedion then that it does not fall precentorship hold is not correct. ; $context$ = sent1: a Bantu that does tincture gratefulness is not a kind of a Peristedion. sent2: if the sternwheeler is a abrocome and it is a Peristedion that it does not fall precentorship is true. sent3: there is something such that if it is a kind of a abrocome that is a Peristedion that it does fall precentorship is true. sent4: if the sternwheeler is a kind of a abrocome and it is a kind of a Peristedion then it does fall precentorship. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__