there exists something such that if it is orthodox it is totalitarian thing that is not sculptural.
sent1: if the nunnery is orthodox it is a totalitarian and it is not sculptural. sent2: there is something such that if the fact that it is factorial is not wrong it does not unbrace. sent3: if something is qualitative then it is priestly and is not external.
sent1 -> hypothesis;
there exists something such that if it is qualitative then the fact that it is priestly and it is not an external is not false.
sent3 -> int1: if the columbine is qualitative it is priestly but not an external.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is orthodox it is totalitarian thing that is not sculptural. ; $context$ = sent1: if the nunnery is orthodox it is a totalitarian and it is not sculptural. sent2: there is something such that if the fact that it is factorial is not wrong it does not unbrace. sent3: if something is qualitative then it is priestly and is not external. ; $proof$ = 
sent1 -> hypothesis; __PROVED__