if the gantry disarms the wedgie is latitudinal.
sent1: the wedgie is Rousseauan. sent2: something is Rousseauan if it expenses dog. sent3: the gantry does expense dog. sent4: if the dog is not non-igneous it reopens thwart. sent5: if the wedgie does expense dog then the dark is not nonarboreal. sent6: the gantry is latitudinal if it disarms. sent7: if the gantry disarms the dark expenses dog. sent8: the wedgie is Rousseauan if the dark is arboreal. sent9: the fact that the gantry is latitudinal hold if the wedgie does disarm. sent10: the candlewood does expense dog. sent11: something is not non-latitudinal if it is arboreal. sent12: if something is Rousseauan then it does disarm. sent13: if the fact that something is commons hold it is a kind of an impoundment. sent14: if the wedgie is Rousseauan the dark is latitudinal. sent15: that something does concern Siouan hold if it is a spider. sent16: if the dark is Rousseauan then the wedgie is arboreal.
void -> assump1: Let's assume that the gantry disarms.; sent7 & assump1 -> int1: that the dark does expense dog is correct.; sent2 -> int2: if the dark does expense dog it is Rousseauan.; int1 & int2 -> int3: the dark is Rousseauan.; int3 & sent16 -> int4: the wedgie is arboreal.; sent11 -> int5: if the wedgie is arboreal it is latitudinal.; int4 & int5 -> int6: the wedgie is latitudinal.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the gantry disarms the wedgie is latitudinal. ; $context$ = sent1: the wedgie is Rousseauan. sent2: something is Rousseauan if it expenses dog. sent3: the gantry does expense dog. sent4: if the dog is not non-igneous it reopens thwart. sent5: if the wedgie does expense dog then the dark is not nonarboreal. sent6: the gantry is latitudinal if it disarms. sent7: if the gantry disarms the dark expenses dog. sent8: the wedgie is Rousseauan if the dark is arboreal. sent9: the fact that the gantry is latitudinal hold if the wedgie does disarm. sent10: the candlewood does expense dog. sent11: something is not non-latitudinal if it is arboreal. sent12: if something is Rousseauan then it does disarm. sent13: if the fact that something is commons hold it is a kind of an impoundment. sent14: if the wedgie is Rousseauan the dark is latitudinal. sent15: that something does concern Siouan hold if it is a spider. sent16: if the dark is Rousseauan then the wedgie is arboreal. ; $proof$ = 
void -> assump1: Let's assume that the gantry disarms.; sent7 & assump1 -> int1: that the dark does expense dog is correct.; sent2 -> int2: if the dark does expense dog it is Rousseauan.; int1 & int2 -> int3: the dark is Rousseauan.; int3 & sent16 -> int4: the wedgie is arboreal.; sent11 -> int5: if the wedgie is arboreal it is latitudinal.; int4 & int5 -> int6: the wedgie is latitudinal.; [assump1] & int6 -> hypothesis; __PROVED__