the prothorax is not a GAD and it is not a narcotic.
sent1: if the potato is not a municipality it is explosive. sent2: if the stem is not a kind of a GAD then the prothorax is not a GAD. sent3: if the potato is a municipality then that the stem is not a GAD is not incorrect. sent4: the potato is a kind of an explosive. sent5: the prothorax is not a kind of a GAD. sent6: the potato is not a lignum if that it is not a Islay and does not send USCB is wrong. sent7: if the potato sends USCB it is not a kind of a lignum. sent8: the fact that the potato is not a Islay and it does not send USCB is wrong. sent9: if the potato is not a municipality then the fact that it is a lignum and explosive hold. sent10: the fact that the potato is not a Islay and does send USCB is incorrect.
void -> assump1: Let's assume that the potato is not a municipality.; sent9 & assump1 -> int1: the potato is a lignum and explosive.; int1 -> int2: the potato is a lignum.; sent6 & sent8 -> int3: the potato is not a lignum.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the potato is a municipality.; int5 & sent3 -> int6: the stem is not a GAD.;
$hypothesis$ = the prothorax is not a GAD and it is not a narcotic. ; $context$ = sent1: if the potato is not a municipality it is explosive. sent2: if the stem is not a kind of a GAD then the prothorax is not a GAD. sent3: if the potato is a municipality then that the stem is not a GAD is not incorrect. sent4: the potato is a kind of an explosive. sent5: the prothorax is not a kind of a GAD. sent6: the potato is not a lignum if that it is not a Islay and does not send USCB is wrong. sent7: if the potato sends USCB it is not a kind of a lignum. sent8: the fact that the potato is not a Islay and it does not send USCB is wrong. sent9: if the potato is not a municipality then the fact that it is a lignum and explosive hold. sent10: the fact that the potato is not a Islay and does send USCB is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the potato is not a municipality.; sent9 & assump1 -> int1: the potato is a lignum and explosive.; int1 -> int2: the potato is a lignum.; sent6 & sent8 -> int3: the potato is not a lignum.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the potato is a municipality.; int5 & sent3 -> int6: the stem is not a GAD.; __UNKNOWN__