that the Methodist is not a deification is not wrong.
sent1: the sternwheeler is photomechanical. sent2: the Methodist is spinal. sent3: if something is algebraic it is photomechanical. sent4: if that something is spinal and not synclinal is wrong it is a kind of a deification. sent5: the grange does occidentalize ogler. sent6: the ashram does not reposit stretched. sent7: the Methodist is algebraic if it is photomechanical. sent8: if something is not synclinal then the Methodist is a spinal. sent9: the grange is a hemisphere if it occidentalizes ogler. sent10: if the grange is photomechanical then the Methodist is not photomechanical. sent11: the roadhouse is inoperative. sent12: something is not weedy and is aphanitic if it does not reposit stretched. sent13: the Methodist is a spinal and it is photomechanical if something is not synclinal. sent14: if that something is not photomechanical hold that it is spinal and it is not synclinal is wrong. sent15: if the ashram is not weedy but it is aphanitic then the roadhouse is weedy. sent16: The ogler does occidentalize grange. sent17: the scabicide does not occidentalize ogler if something that is inoperative is weedy. sent18: there are non-synclinal things. sent19: if the Methodist is algebraic and it is a deification the grange is not a kind of a hemisphere.
sent18 & sent13 -> int1: the Methodist is both spinal and photomechanical.; int1 -> int2: the Methodist is photomechanical.; int2 & sent7 -> int3: the Methodist is algebraic.; void -> assump1: Let's assume that the Methodist is a deification.; int3 & assump1 -> int4: the Methodist is a kind of algebraic thing that is a deification.; int4 & sent19 -> int5: the grange is not a hemisphere.; sent9 & sent5 -> int6: the grange is a kind of a hemisphere.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the Methodist is a kind of a deification.
sent4 -> int8: the Methodist is a deification if the fact that it is a kind of a spinal and is not synclinal is false.; sent14 -> int9: that the Methodist is spinal but it is not synclinal does not hold if it is not photomechanical.; sent3 -> int10: if the grange is algebraic then it is photomechanical.; sent12 -> int11: the ashram is not weedy but it is aphanitic if the fact that it does not reposit stretched hold.; int11 & sent6 -> int12: the ashram is non-weedy and aphanitic.; sent15 & int12 -> int13: the roadhouse is weedy.; sent11 & int13 -> int14: the roadhouse is inoperative and it is weedy.; int14 -> int15: something is inoperative and weedy.; int15 & sent17 -> int16: the scabicide does not occidentalize ogler.; int16 -> int17: there exists something such that it does not occidentalize ogler.;
$hypothesis$ = that the Methodist is not a deification is not wrong. ; $context$ = sent1: the sternwheeler is photomechanical. sent2: the Methodist is spinal. sent3: if something is algebraic it is photomechanical. sent4: if that something is spinal and not synclinal is wrong it is a kind of a deification. sent5: the grange does occidentalize ogler. sent6: the ashram does not reposit stretched. sent7: the Methodist is algebraic if it is photomechanical. sent8: if something is not synclinal then the Methodist is a spinal. sent9: the grange is a hemisphere if it occidentalizes ogler. sent10: if the grange is photomechanical then the Methodist is not photomechanical. sent11: the roadhouse is inoperative. sent12: something is not weedy and is aphanitic if it does not reposit stretched. sent13: the Methodist is a spinal and it is photomechanical if something is not synclinal. sent14: if that something is not photomechanical hold that it is spinal and it is not synclinal is wrong. sent15: if the ashram is not weedy but it is aphanitic then the roadhouse is weedy. sent16: The ogler does occidentalize grange. sent17: the scabicide does not occidentalize ogler if something that is inoperative is weedy. sent18: there are non-synclinal things. sent19: if the Methodist is algebraic and it is a deification the grange is not a kind of a hemisphere. ; $proof$ = 
sent18 & sent13 -> int1: the Methodist is both spinal and photomechanical.; int1 -> int2: the Methodist is photomechanical.; int2 & sent7 -> int3: the Methodist is algebraic.; void -> assump1: Let's assume that the Methodist is a deification.; int3 & assump1 -> int4: the Methodist is a kind of algebraic thing that is a deification.; int4 & sent19 -> int5: the grange is not a hemisphere.; sent9 & sent5 -> int6: the grange is a kind of a hemisphere.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__