the chrism does not behave.
sent1: the fact that the overlook is a figuration but it is not a kind of a lepidolite does not hold if there exists something such that it is not a slice. sent2: if something is a lepidolite it does not sliver. sent3: the overlook does not sliver if it is a lepidolite. sent4: if the fact that the plasmid slivers is not false the chrism does behave. sent5: if that something is not a lepidolite hold then it does not behave. sent6: the elephant is a brainworker. sent7: there is something such that the fact that it is not a slice is correct. sent8: the gerbil slivers and is a kind of a figuration if it is not a lepidolite. sent9: a brainworker is a slice. sent10: if the fact that the shirt does depose barbu and does not erase is not correct it is not a kind of a Khamti. sent11: if the elephant is a kind of a slice either the amide is doctrinal or it is not a lepidolite or both. sent12: the chrism does not behave if that that the overlook is not a Khamti but it is not unsexy is not wrong is wrong. sent13: the fact that if the overlook does not behave the chrism is not sexy is not wrong. sent14: if the chrism does not sliver then it is not awnless. sent15: something that is both not a Khamti and sexy does sliver. sent16: if that something is a figuration but it is not a lepidolite is not true it does not sliver. sent17: the baluster is not a brainworker but it is a harmony.
sent15 -> int1: the overlook does sliver if it is not a kind of a Khamti and it is sexy.; void -> assump1: Let's assume that the overlook is not a Khamti and not unsexy.; int1 & assump1 -> int2: the overlook does sliver.; sent16 -> int3: the overlook does not sliver if that it is a figuration and it is not a lepidolite does not hold.; sent7 & sent1 -> int4: that the overlook is a figuration but it is not a lepidolite is not correct.; int3 & int4 -> int5: the overlook does not sliver.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the fact that the overlook is not a kind of a Khamti but it is sexy does not hold is not incorrect.; int7 & sent12 -> hypothesis;
the chrism does behave.
$hypothesis$ = the chrism does not behave. ; $context$ = sent1: the fact that the overlook is a figuration but it is not a kind of a lepidolite does not hold if there exists something such that it is not a slice. sent2: if something is a lepidolite it does not sliver. sent3: the overlook does not sliver if it is a lepidolite. sent4: if the fact that the plasmid slivers is not false the chrism does behave. sent5: if that something is not a lepidolite hold then it does not behave. sent6: the elephant is a brainworker. sent7: there is something such that the fact that it is not a slice is correct. sent8: the gerbil slivers and is a kind of a figuration if it is not a lepidolite. sent9: a brainworker is a slice. sent10: if the fact that the shirt does depose barbu and does not erase is not correct it is not a kind of a Khamti. sent11: if the elephant is a kind of a slice either the amide is doctrinal or it is not a lepidolite or both. sent12: the chrism does not behave if that that the overlook is not a Khamti but it is not unsexy is not wrong is wrong. sent13: the fact that if the overlook does not behave the chrism is not sexy is not wrong. sent14: if the chrism does not sliver then it is not awnless. sent15: something that is both not a Khamti and sexy does sliver. sent16: if that something is a figuration but it is not a lepidolite is not true it does not sliver. sent17: the baluster is not a brainworker but it is a harmony. ; $proof$ = 
sent15 -> int1: the overlook does sliver if it is not a kind of a Khamti and it is sexy.; void -> assump1: Let's assume that the overlook is not a Khamti and not unsexy.; int1 & assump1 -> int2: the overlook does sliver.; sent16 -> int3: the overlook does not sliver if that it is a figuration and it is not a lepidolite does not hold.; sent7 & sent1 -> int4: that the overlook is a figuration but it is not a lepidolite is not correct.; int3 & int4 -> int5: the overlook does not sliver.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the fact that the overlook is not a kind of a Khamti but it is sexy does not hold is not incorrect.; int7 & sent12 -> hypothesis; __PROVED__