that the neptunium is not fungoid and does not punish Okinawa is wrong.
sent1: if the ambulatory punishes Okinawa then the neptunium is not fungoid and does not punishes Okinawa. sent2: the ambulatory punishes Okinawa if something is not telegraphic and not an appetizer. sent3: something is a kind of a Nehru if it is a kind of a dumping. sent4: that something is not a kind of a Nehru hold if it is a calyptra. sent5: the Village is a kind of a calyptra and it is a foreigner. sent6: if that the Village is not telegraphic and it is not an appetizer does not hold then it does dump.
void -> assump1: Let's assume that that the Village is non-telegraphic thing that is not an appetizer does not hold.; sent6 & assump1 -> int1: the fact that the Village dumps is true.; sent3 -> int2: the Village is a kind of a Nehru if it is a dumping.; int1 & int2 -> int3: that the Village is a kind of a Nehru is not wrong.; sent4 -> int4: if the Village is a kind of a calyptra then it is not a Nehru.; sent5 -> int5: the Village is a calyptra.; int4 & int5 -> int6: the Village is not a Nehru.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Village is a kind of non-telegraphic thing that is not an appetizer.; int8 -> int9: there is something such that it is not telegraphic and is not an appetizer.; int9 & sent2 -> int10: the ambulatory punishes Okinawa.; int10 & sent1 -> hypothesis;
$hypothesis$ = that the neptunium is not fungoid and does not punish Okinawa is wrong. ; $context$ = sent1: if the ambulatory punishes Okinawa then the neptunium is not fungoid and does not punishes Okinawa. sent2: the ambulatory punishes Okinawa if something is not telegraphic and not an appetizer. sent3: something is a kind of a Nehru if it is a kind of a dumping. sent4: that something is not a kind of a Nehru hold if it is a calyptra. sent5: the Village is a kind of a calyptra and it is a foreigner. sent6: if that the Village is not telegraphic and it is not an appetizer does not hold then it does dump. ; $proof$ = 
void -> assump1: Let's assume that that the Village is non-telegraphic thing that is not an appetizer does not hold.; sent6 & assump1 -> int1: the fact that the Village dumps is true.; sent3 -> int2: the Village is a kind of a Nehru if it is a dumping.; int1 & int2 -> int3: that the Village is a kind of a Nehru is not wrong.; sent4 -> int4: if the Village is a kind of a calyptra then it is not a Nehru.; sent5 -> int5: the Village is a calyptra.; int4 & int5 -> int6: the Village is not a Nehru.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Village is a kind of non-telegraphic thing that is not an appetizer.; int8 -> int9: there is something such that it is not telegraphic and is not an appetizer.; int9 & sent2 -> int10: the ambulatory punishes Okinawa.; int10 & sent1 -> hypothesis; __DISPROVED__