the flounder is anorthitic and it is a Chuang-tzu.
sent1: if something is not a succinylcholine then that it is anorthitic thing that is a Chuang-tzu does not hold. sent2: the flounder invites handicap. sent3: if the alienator is not a succinylcholine that it is not urogenital is not incorrect. sent4: the flounder is a kind of a Chuang-tzu if that either something is a toucanet or it is a kind of a Urocyon or both is correct. sent5: if the upset is both not a blepharism and urogenital then the alienator is urogenital. sent6: the fact that something is anorthitic is not wrong if it is not a kind of a abecedarius or it is not a risibility or both. sent7: the halogeton is a toucanet. sent8: the lidar is a blepharism. sent9: the upset is a blepharism if that the halogeton is a kind of a toucanet that is a kind of a blepharism is not false. sent10: if the alienator is a succinylcholine the flounder is not a abecedarius and/or it is not a risibility. sent11: if the halogeton is not a toucanet but it is a Urocyon the alienator is a Urocyon.
void -> assump1: Let's assume that the alienator is not a succinylcholine.; sent3 & assump1 -> int1: the alienator is not urogenital.; sent6 -> int2: if the flounder is not a abecedarius and/or it is not a risibility it is anorthitic.; sent7 -> int3: the halogeton is a kind of a toucanet and/or is a kind of a Urocyon.; int3 -> int4: something is a toucanet and/or it is a Urocyon.; int4 & sent4 -> int5: the flounder is a Chuang-tzu.;
that the flounder is anorthitic and it is a kind of a Chuang-tzu is wrong.
sent1 -> int6: if the fact that the flounder is not a succinylcholine is right then that it is both anorthitic and a Chuang-tzu is not true.;
$hypothesis$ = the flounder is anorthitic and it is a Chuang-tzu. ; $context$ = sent1: if something is not a succinylcholine then that it is anorthitic thing that is a Chuang-tzu does not hold. sent2: the flounder invites handicap. sent3: if the alienator is not a succinylcholine that it is not urogenital is not incorrect. sent4: the flounder is a kind of a Chuang-tzu if that either something is a toucanet or it is a kind of a Urocyon or both is correct. sent5: if the upset is both not a blepharism and urogenital then the alienator is urogenital. sent6: the fact that something is anorthitic is not wrong if it is not a kind of a abecedarius or it is not a risibility or both. sent7: the halogeton is a toucanet. sent8: the lidar is a blepharism. sent9: the upset is a blepharism if that the halogeton is a kind of a toucanet that is a kind of a blepharism is not false. sent10: if the alienator is a succinylcholine the flounder is not a abecedarius and/or it is not a risibility. sent11: if the halogeton is not a toucanet but it is a Urocyon the alienator is a Urocyon. ; $proof$ = 
void -> assump1: Let's assume that the alienator is not a succinylcholine.; sent3 & assump1 -> int1: the alienator is not urogenital.; sent6 -> int2: if the flounder is not a abecedarius and/or it is not a risibility it is anorthitic.; sent7 -> int3: the halogeton is a kind of a toucanet and/or is a kind of a Urocyon.; int3 -> int4: something is a toucanet and/or it is a Urocyon.; int4 & sent4 -> int5: the flounder is a Chuang-tzu.; __UNKNOWN__