the uropygium is not autogenous.
sent1: the uropygium is a handover and it is a kind of a pushup if it is not a kind of a ortygan. sent2: the uropygium ribs Psaltriparus. sent3: if something is not a handover then the uropygium is not non-autogenous. sent4: if something does not rib Psaltriparus then the uropygium is not non-autogenous and it is a handover. sent5: something does not rib Psaltriparus. sent6: there is something such that it ribs Psaltriparus. sent7: the uropygium is a handover. sent8: if there is something such that it does not rib gunnery the uropygium is autoplastic and nontechnical. sent9: there exists something such that it is not centroidal.
sent5 & sent4 -> int1: the uropygium is autogenous and it is a handover.; int1 -> hypothesis;
the uropygium is non-autogenous.
$hypothesis$ = the uropygium is not autogenous. ; $context$ = sent1: the uropygium is a handover and it is a kind of a pushup if it is not a kind of a ortygan. sent2: the uropygium ribs Psaltriparus. sent3: if something is not a handover then the uropygium is not non-autogenous. sent4: if something does not rib Psaltriparus then the uropygium is not non-autogenous and it is a handover. sent5: something does not rib Psaltriparus. sent6: there is something such that it ribs Psaltriparus. sent7: the uropygium is a handover. sent8: if there is something such that it does not rib gunnery the uropygium is autoplastic and nontechnical. sent9: there exists something such that it is not centroidal. ; $proof$ = 
sent5 & sent4 -> int1: the uropygium is autogenous and it is a handover.; int1 -> hypothesis; __DISPROVED__