the pooler photographs river if the instillator is Huxleyan.
sent1: the instillator is not a kind of a imperfectibility. sent2: the instillator does not adjoin Guinean and it is not a vice-regent. sent3: if that the instillator does not adjoin Guinean and is Huxleyan does not hold the pooler is a vice-regent. sent4: the pooler is a vice-regent if the fact that the instillator adjoins Guinean is not false. sent5: the instillator does not adjoin Guinean and is Huxleyan. sent6: that the instillator adjoins Guinean but it is not Huxleyan is not true. sent7: the instillator is Huxleyan if that the pooler is not a vice-regent and does not adjoin Guinean is wrong. sent8: the groundsel does not photograph river. sent9: something is Huxleyan if it adjoins Guinean. sent10: the pooler is neoplastic. sent11: the instillator does not photograph river. sent12: the instillator photographs river if the pooler adjoins Guinean. sent13: that something photographs river is true if it is a vice-regent. sent14: that the pooler is a vice-regent is not wrong if the instillator does not adjoin Guinean and it is not Huxleyan. sent15: the instillator is a kind of a pillion. sent16: the pooler is a kind of a vice-regent if the fact that the instillator does not adjoin Guinean and it does not photograph river does not hold. sent17: the pooler does not emulsify frame-up and it does not adjoin Guinean. sent18: if the pooler does adjoin Guinean then that the instillator is a vice-regent is not wrong. sent19: the instillator does not adjoin Guinean. sent20: if the instillator photographs river then the pooler does adjoin Guinean. sent21: that the pooler is not a vice-regent and not a tendril is incorrect.
void -> assump1: Let's assume that the instillator does not adjoin Guinean and is not Huxleyan.; assump1 -> int1: the instillator is not Huxleyan.; void -> assump2: Let's assume that the instillator is Huxleyan.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the instillator does not adjoin Guinean and is not Huxleyan is wrong.; sent13 -> int4: the pooler does photograph river if it is a vice-regent.;
$hypothesis$ = the pooler photographs river if the instillator is Huxleyan. ; $context$ = sent1: the instillator is not a kind of a imperfectibility. sent2: the instillator does not adjoin Guinean and it is not a vice-regent. sent3: if that the instillator does not adjoin Guinean and is Huxleyan does not hold the pooler is a vice-regent. sent4: the pooler is a vice-regent if the fact that the instillator adjoins Guinean is not false. sent5: the instillator does not adjoin Guinean and is Huxleyan. sent6: that the instillator adjoins Guinean but it is not Huxleyan is not true. sent7: the instillator is Huxleyan if that the pooler is not a vice-regent and does not adjoin Guinean is wrong. sent8: the groundsel does not photograph river. sent9: something is Huxleyan if it adjoins Guinean. sent10: the pooler is neoplastic. sent11: the instillator does not photograph river. sent12: the instillator photographs river if the pooler adjoins Guinean. sent13: that something photographs river is true if it is a vice-regent. sent14: that the pooler is a vice-regent is not wrong if the instillator does not adjoin Guinean and it is not Huxleyan. sent15: the instillator is a kind of a pillion. sent16: the pooler is a kind of a vice-regent if the fact that the instillator does not adjoin Guinean and it does not photograph river does not hold. sent17: the pooler does not emulsify frame-up and it does not adjoin Guinean. sent18: if the pooler does adjoin Guinean then that the instillator is a vice-regent is not wrong. sent19: the instillator does not adjoin Guinean. sent20: if the instillator photographs river then the pooler does adjoin Guinean. sent21: that the pooler is not a vice-regent and not a tendril is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the instillator does not adjoin Guinean and is not Huxleyan.; assump1 -> int1: the instillator is not Huxleyan.; void -> assump2: Let's assume that the instillator is Huxleyan.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the instillator does not adjoin Guinean and is not Huxleyan is wrong.; sent13 -> int4: the pooler does photograph river if it is a vice-regent.; __UNKNOWN__