the fact that if the conduction is a diode the minibike is a drug does not hold.
sent1: that the conduction is a kind of a drug if the minibike is a diode hold. sent2: the conduction does fear tambourine. sent3: if the minibike is not a drug then the conduction is a diode. sent4: if that something is a kind of a drug that is not a diode is not true then it is a diode. sent5: the minibike does not fear tambourine. sent6: the conduction does drug. sent7: if the fact that something is not an epic and is not metallurgical does not hold then it is a Hokkaido. sent8: if the minibike is a kind of a drug the conduction is not a diode. sent9: the conduction is not a kind of a diode if that the minibike is not a drug hold. sent10: the fact that something drugs but it is not a diode does not hold if it is not foolish.
void -> assump1: Let's assume that the minibike is not a drug.; sent9 & assump1 -> int1: that the conduction is not a diode is true.; void -> assump2: Let's assume that the conduction is a diode.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the minibike is a drug.; [assump2] & int3 -> hypothesis;
the assenter is a diode.
sent4 -> int4: if the fact that the assenter is a drug but it is not a diode is not true then it is a kind of a diode.; sent10 -> int5: if the assenter is not foolish that it is both a drug and not a diode is not true.; sent7 -> int6: the minibike is a Hokkaido if the fact that it is not an epic and it is not metallurgical is not right.;
$hypothesis$ = the fact that if the conduction is a diode the minibike is a drug does not hold. ; $context$ = sent1: that the conduction is a kind of a drug if the minibike is a diode hold. sent2: the conduction does fear tambourine. sent3: if the minibike is not a drug then the conduction is a diode. sent4: if that something is a kind of a drug that is not a diode is not true then it is a diode. sent5: the minibike does not fear tambourine. sent6: the conduction does drug. sent7: if the fact that something is not an epic and is not metallurgical does not hold then it is a Hokkaido. sent8: if the minibike is a kind of a drug the conduction is not a diode. sent9: the conduction is not a kind of a diode if that the minibike is not a drug hold. sent10: the fact that something drugs but it is not a diode does not hold if it is not foolish. ; $proof$ = 
void -> assump1: Let's assume that the minibike is not a drug.; sent9 & assump1 -> int1: that the conduction is not a diode is true.; void -> assump2: Let's assume that the conduction is a diode.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the minibike is a drug.; [assump2] & int3 -> hypothesis; __DISPROVED__