if the pottery discountenances misconstrual the pasang is univalent.
sent1: if the pottery is a WMO the fact that the pasang is univalent is not false. sent2: the pasang is a inaptness. sent3: the pasang discountenances drudgery. sent4: if the pasang does discountenance misconstrual the pottery is univalent. sent5: the pottery is univalent. sent6: if the pottery is univalent then the fact that the pasang is a WMO is right. sent7: the frame does discountenance misconstrual. sent8: the pasang is a WMO. sent9: if the pasang is a WMO the pottery is univalent. sent10: the pasang does discountenance misconstrual. sent11: the pottery is univalent if it is a WMO. sent12: the pasang is sectional. sent13: the pottery is a WMO if it discountenances misconstrual. sent14: that the pottery is univalent if the pottery does discountenance misconstrual is right. sent15: if the fetoprotein is a roadworthiness then it is a WMO. sent16: the pasang is ovoviviparous. sent17: if the pottery is a WMO then that the pasang discountenances misconstrual is correct. sent18: the pottery does compartmentalize overgarment. sent19: if the pottery is univalent then the pasang does discountenance misconstrual. sent20: the pasang is a contrast. sent21: if the truncheon is a WMO then the pottery is univalent. sent22: the pasang is a sleepiness.
void -> assump1: Let's assume that the pottery does discountenance misconstrual.; sent13 & assump1 -> int1: the pottery is a WMO.; sent1 & int1 -> int2: the pasang is univalent.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the pottery discountenances misconstrual the pasang is univalent. ; $context$ = sent1: if the pottery is a WMO the fact that the pasang is univalent is not false. sent2: the pasang is a inaptness. sent3: the pasang discountenances drudgery. sent4: if the pasang does discountenance misconstrual the pottery is univalent. sent5: the pottery is univalent. sent6: if the pottery is univalent then the fact that the pasang is a WMO is right. sent7: the frame does discountenance misconstrual. sent8: the pasang is a WMO. sent9: if the pasang is a WMO the pottery is univalent. sent10: the pasang does discountenance misconstrual. sent11: the pottery is univalent if it is a WMO. sent12: the pasang is sectional. sent13: the pottery is a WMO if it discountenances misconstrual. sent14: that the pottery is univalent if the pottery does discountenance misconstrual is right. sent15: if the fetoprotein is a roadworthiness then it is a WMO. sent16: the pasang is ovoviviparous. sent17: if the pottery is a WMO then that the pasang discountenances misconstrual is correct. sent18: the pottery does compartmentalize overgarment. sent19: if the pottery is univalent then the pasang does discountenance misconstrual. sent20: the pasang is a contrast. sent21: if the truncheon is a WMO then the pottery is univalent. sent22: the pasang is a sleepiness. ; $proof$ = 
void -> assump1: Let's assume that the pottery does discountenance misconstrual.; sent13 & assump1 -> int1: the pottery is a WMO.; sent1 & int1 -> int2: the pasang is univalent.; [assump1] & int2 -> hypothesis; __PROVED__