the fact that there exists something such that if it is impressionable then it is a repose is false.
sent1: something does repose if it is not non-micrometeoric. sent2: the crown is impressionable. sent3: the sphinx is micrometeoric if it is impressionable. sent4: there exists something such that if it yachts then it is eruptive.
void -> assump1: Let's assume that the sphinx is impressionable.; sent3 & assump1 -> int1: that the sphinx is micrometeoric hold.; sent1 -> int2: the sphinx reposes if it is micrometeoric.; int1 & int2 -> int3: the sphinx is a repose.; [assump1] & int3 -> int4: if the sphinx is impressionable then it is a repose.; int4 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is impressionable then it is a repose is false. ; $context$ = sent1: something does repose if it is not non-micrometeoric. sent2: the crown is impressionable. sent3: the sphinx is micrometeoric if it is impressionable. sent4: there exists something such that if it yachts then it is eruptive. ; $proof$ = 
void -> assump1: Let's assume that the sphinx is impressionable.; sent3 & assump1 -> int1: that the sphinx is micrometeoric hold.; sent1 -> int2: the sphinx reposes if it is micrometeoric.; int1 & int2 -> int3: the sphinx is a repose.; [assump1] & int3 -> int4: if the sphinx is impressionable then it is a repose.; int4 -> hypothesis; __DISPROVED__