there is something such that the fact that either it does glamorize ownership or it is impassable or both is incorrect.
sent1: the scrod does not glamorize ownership and is not a mime. sent2: the pallet is not impassable. sent3: the scrod does not glamorize ownership. sent4: if the pallet is not ergotic then that the schrod does not glamorize ownership is not false. sent5: if the fact that the schrod is not ergotic hold then that the fact that either the pallet is impassable or it is a mime or both is not false is wrong. sent6: there exists something such that that either it is a kind of a punster or it is a holdover or both is false. sent7: something is not a kind of a backhanded. sent8: the fact that the scrod is ergotic thing that is not a mime is false. sent9: that the schrod is not a kind of a mime and it does not glamorize ownership is not true. sent10: that the schrod glamorizes ownership and/or it is impassable is false if the pallet is not ergotic. sent11: something is a mime if it is ergotic. sent12: the scrod is not a roadhouse and does not mime. sent13: the endocranium is impassable. sent14: there exists something such that it does not hate moneygrubber.
sent11 -> int1: if the pallet is ergotic then it does mime.; void -> assump1: Let's assume that the pallet is ergotic.; int1 & assump1 -> int2: the pallet does mime.;
$hypothesis$ = there is something such that the fact that either it does glamorize ownership or it is impassable or both is incorrect. ; $context$ = sent1: the scrod does not glamorize ownership and is not a mime. sent2: the pallet is not impassable. sent3: the scrod does not glamorize ownership. sent4: if the pallet is not ergotic then that the schrod does not glamorize ownership is not false. sent5: if the fact that the schrod is not ergotic hold then that the fact that either the pallet is impassable or it is a mime or both is not false is wrong. sent6: there exists something such that that either it is a kind of a punster or it is a holdover or both is false. sent7: something is not a kind of a backhanded. sent8: the fact that the scrod is ergotic thing that is not a mime is false. sent9: that the schrod is not a kind of a mime and it does not glamorize ownership is not true. sent10: that the schrod glamorizes ownership and/or it is impassable is false if the pallet is not ergotic. sent11: something is a mime if it is ergotic. sent12: the scrod is not a roadhouse and does not mime. sent13: the endocranium is impassable. sent14: there exists something such that it does not hate moneygrubber. ; $proof$ = 
sent11 -> int1: if the pallet is ergotic then it does mime.; void -> assump1: Let's assume that the pallet is ergotic.; int1 & assump1 -> int2: the pallet does mime.; __UNKNOWN__