the Americanization is not ossiferous but it is a Rayleigh if the mandarin is a kind of a Nusku.
sent1: something is a pooch but it is not penile. sent2: the riveter is a Nusku. sent3: the fact that the deodar is both ossiferous and a Nusku is not correct. sent4: there exists something such that it is a Byzantine. sent5: there is something such that that it is not penile hold. sent6: the deodar does pooch. sent7: the deodar is ossiferous if that the mandarin is a Lampridae but it is not majuscule is incorrect. sent8: if the deodar is ossiferous then the Americanization is a kind of non-ossiferous a Rayleigh. sent9: if something is a acantholysis and it is a Nusku it is non-tubercular. sent10: the fact that something is a Lampridae and is not non-majuscule does not hold if it is not tubercular. sent11: there exists something such that it is ossiferous and it is a acantholysis. sent12: there is something such that it pooches and it is penile. sent13: something is a Nusku if it is a acantholysis. sent14: the deodar is ossiferous if the mandarin is majuscule. sent15: the Americanization is not a Nusku if it is ossiferous and it is a kind of a Lampridae. sent16: the mandarin is a Nusku and it is ossiferous. sent17: the fact that something is a Lampridae and is non-majuscule is false if it is not tubercular. sent18: the fact that the fact that the mandarin is a Nusku but it is not ossiferous is not false is not true if it is not majuscule. sent19: the Americanization is not ossiferous.
void -> assump1: Let's assume that the mandarin is a kind of a Nusku.; sent9 -> int1: if the mandarin is a acantholysis and it is a kind of a Nusku then it is not tubercular.; sent17 -> int2: if the mandarin is not tubercular then the fact that it is a kind of a Lampridae and it is not majuscule is wrong.;
the storybook is a Nusku.
sent13 -> int3: the storybook is a Nusku if it is a acantholysis.;
$hypothesis$ = the Americanization is not ossiferous but it is a Rayleigh if the mandarin is a kind of a Nusku. ; $context$ = sent1: something is a pooch but it is not penile. sent2: the riveter is a Nusku. sent3: the fact that the deodar is both ossiferous and a Nusku is not correct. sent4: there exists something such that it is a Byzantine. sent5: there is something such that that it is not penile hold. sent6: the deodar does pooch. sent7: the deodar is ossiferous if that the mandarin is a Lampridae but it is not majuscule is incorrect. sent8: if the deodar is ossiferous then the Americanization is a kind of non-ossiferous a Rayleigh. sent9: if something is a acantholysis and it is a Nusku it is non-tubercular. sent10: the fact that something is a Lampridae and is not non-majuscule does not hold if it is not tubercular. sent11: there exists something such that it is ossiferous and it is a acantholysis. sent12: there is something such that it pooches and it is penile. sent13: something is a Nusku if it is a acantholysis. sent14: the deodar is ossiferous if the mandarin is majuscule. sent15: the Americanization is not a Nusku if it is ossiferous and it is a kind of a Lampridae. sent16: the mandarin is a Nusku and it is ossiferous. sent17: the fact that something is a Lampridae and is non-majuscule is false if it is not tubercular. sent18: the fact that the fact that the mandarin is a Nusku but it is not ossiferous is not false is not true if it is not majuscule. sent19: the Americanization is not ossiferous. ; $proof$ = 
void -> assump1: Let's assume that the mandarin is a kind of a Nusku.; sent9 -> int1: if the mandarin is a acantholysis and it is a kind of a Nusku then it is not tubercular.; sent17 -> int2: if the mandarin is not tubercular then the fact that it is a kind of a Lampridae and it is not majuscule is wrong.; __UNKNOWN__