the fact that the T-network does not headquarter flywheel and is sadistic is false.
sent1: The disaster governs pencil. sent2: the T-network does not headquarter flywheel and is sadistic if the pencil does not headquarter calyx. sent3: the T-network does not headquarter flywheel if the pencil does not headquarter calyx. sent4: the airspace does not granulate if the pencil does not demoralize. sent5: if something is melodic then it is a kind of a equerry. sent6: if something that governs disaster does headquarter calyx it does not demoralize. sent7: the T-network does not headquarter flywheel. sent8: the pencil does not govern disaster if the airspace does not govern disaster and it does not demoralize. sent9: the canoeist does govern knot. sent10: the love-in-winter is sadistic. sent11: if the T-network does govern rappel it does headquarter flywheel. sent12: the fact that the T-network does not headquarter flywheel and is sadistic does not hold if the fact that the pencil does not govern disaster is not wrong. sent13: if the canoeist does govern rappel then the airspace granulates. sent14: the fact that something governs rappel is not incorrect if it is a kind of a Catharanthus. sent15: the pencil governs disaster. sent16: the canoeist is a Catharanthus and it does govern knot.
void -> assump1: Let's assume that the pencil does headquarter calyx.; sent15 & assump1 -> int1: the pencil does govern disaster and headquarters calyx.; sent6 -> int2: the pencil does not demoralize if it does govern disaster and it does headquarter calyx.; int1 & int2 -> int3: the pencil does not demoralize.; int3 & sent4 -> int4: the airspace does not granulate.; sent14 -> int5: if the canoeist is a Catharanthus then it does govern rappel.; sent16 -> int6: the canoeist is a kind of a Catharanthus.; int5 & int6 -> int7: the canoeist governs rappel.; sent13 & int7 -> int8: the airspace does granulate.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the pencil does not headquarter calyx.; int10 & sent2 -> hypothesis;
that the T-network does not headquarter flywheel but it is sadistic is not true.
$hypothesis$ = the fact that the T-network does not headquarter flywheel and is sadistic is false. ; $context$ = sent1: The disaster governs pencil. sent2: the T-network does not headquarter flywheel and is sadistic if the pencil does not headquarter calyx. sent3: the T-network does not headquarter flywheel if the pencil does not headquarter calyx. sent4: the airspace does not granulate if the pencil does not demoralize. sent5: if something is melodic then it is a kind of a equerry. sent6: if something that governs disaster does headquarter calyx it does not demoralize. sent7: the T-network does not headquarter flywheel. sent8: the pencil does not govern disaster if the airspace does not govern disaster and it does not demoralize. sent9: the canoeist does govern knot. sent10: the love-in-winter is sadistic. sent11: if the T-network does govern rappel it does headquarter flywheel. sent12: the fact that the T-network does not headquarter flywheel and is sadistic does not hold if the fact that the pencil does not govern disaster is not wrong. sent13: if the canoeist does govern rappel then the airspace granulates. sent14: the fact that something governs rappel is not incorrect if it is a kind of a Catharanthus. sent15: the pencil governs disaster. sent16: the canoeist is a Catharanthus and it does govern knot. ; $proof$ = 
void -> assump1: Let's assume that the pencil does headquarter calyx.; sent15 & assump1 -> int1: the pencil does govern disaster and headquarters calyx.; sent6 -> int2: the pencil does not demoralize if it does govern disaster and it does headquarter calyx.; int1 & int2 -> int3: the pencil does not demoralize.; int3 & sent4 -> int4: the airspace does not granulate.; sent14 -> int5: if the canoeist is a Catharanthus then it does govern rappel.; sent16 -> int6: the canoeist is a kind of a Catharanthus.; int5 & int6 -> int7: the canoeist governs rappel.; sent13 & int7 -> int8: the airspace does granulate.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the pencil does not headquarter calyx.; int10 & sent2 -> hypothesis; __DISPROVED__