the ottoman is not a Capone.
sent1: if there exists something such that the fact that it is not a revival is true then that that the retrieval does not correspond Rhizophora and is not a kind of a pruritus is not correct is true. sent2: there exists something such that it is not a revival. sent3: if the squib is a hotel-casino then the soprano is a kind of psychoactive thing that does not correspond Omotic. sent4: the ottoman is a Capone if the pen is not non-crinoid. sent5: the fact that something is not a hotel-casino but it is psychoactive if it is not non-crinoid is right. sent6: the fact that the retrieval does correspond Rhizophora but it is not a pruritus is not right. sent7: if the squib is a hotel-casino then the soprano is psychoactive. sent8: if something is a pruritus then it does not correspond Rhizophora and is not a revival. sent9: if something is both not a hotel-casino and psychoactive it is a pruritus. sent10: the pen is a kind of a crinoid if something that is psychoactive does not correspond Omotic. sent11: if that the retrieval does not correspond Rhizophora and it is not a pruritus does not hold the fact that the squib is a hotel-casino hold. sent12: there is something such that it is psychoactive and it corresponds Omotic.
sent2 & sent1 -> int1: the fact that the retrieval does not correspond Rhizophora and is not a pruritus is not correct.; sent11 & int1 -> int2: the squib is a hotel-casino.; sent3 & int2 -> int3: the soprano is psychoactive but it does not correspond Omotic.; int3 -> int4: there exists something such that it is a kind of psychoactive thing that does not correspond Omotic.; int4 & sent10 -> int5: the pen is a crinoid.; sent4 & int5 -> hypothesis;
the access does correspond Omotic.
sent8 -> int6: the retrieval does not correspond Rhizophora and is not a kind of a revival if it is a pruritus.; sent9 -> int7: if the retrieval is not a kind of a hotel-casino but it is psychoactive it is a pruritus.; sent5 -> int8: if the retrieval is a crinoid then it is not a hotel-casino and it is psychoactive.;
$hypothesis$ = the ottoman is not a Capone. ; $context$ = sent1: if there exists something such that the fact that it is not a revival is true then that that the retrieval does not correspond Rhizophora and is not a kind of a pruritus is not correct is true. sent2: there exists something such that it is not a revival. sent3: if the squib is a hotel-casino then the soprano is a kind of psychoactive thing that does not correspond Omotic. sent4: the ottoman is a Capone if the pen is not non-crinoid. sent5: the fact that something is not a hotel-casino but it is psychoactive if it is not non-crinoid is right. sent6: the fact that the retrieval does correspond Rhizophora but it is not a pruritus is not right. sent7: if the squib is a hotel-casino then the soprano is psychoactive. sent8: if something is a pruritus then it does not correspond Rhizophora and is not a revival. sent9: if something is both not a hotel-casino and psychoactive it is a pruritus. sent10: the pen is a kind of a crinoid if something that is psychoactive does not correspond Omotic. sent11: if that the retrieval does not correspond Rhizophora and it is not a pruritus does not hold the fact that the squib is a hotel-casino hold. sent12: there is something such that it is psychoactive and it corresponds Omotic. ; $proof$ = 
sent2 & sent1 -> int1: the fact that the retrieval does not correspond Rhizophora and is not a pruritus is not correct.; sent11 & int1 -> int2: the squib is a hotel-casino.; sent3 & int2 -> int3: the soprano is psychoactive but it does not correspond Omotic.; int3 -> int4: there exists something such that it is a kind of psychoactive thing that does not correspond Omotic.; int4 & sent10 -> int5: the pen is a crinoid.; sent4 & int5 -> hypothesis; __DISPROVED__