there is something such that it is civil and/or it is a ozonosphere.
sent1: there is nothing such that it is civil and it is a Sufi. sent2: the birth is a kind of a orrisroot. sent3: the icepick is civil if there is something such that it bilks ornamental. sent4: there is something such that it does bilk ornamental or is Sufi or both. sent5: if something either does bilk ornamental or is not non-Sufi or both the icepick is civil.
sent4 & sent5 -> int1: the icepick is civil.; int1 -> int2: the icepick either is civil or is a ozonosphere or both.; int2 -> hypothesis;
the atoll is injectable.
sent1 -> int3: that the ghost is civil and it is a kind of a Sufi is incorrect.; int3 -> int4: there is something such that the fact that it is civil and Sufi is false.;
$hypothesis$ = there is something such that it is civil and/or it is a ozonosphere. ; $context$ = sent1: there is nothing such that it is civil and it is a Sufi. sent2: the birth is a kind of a orrisroot. sent3: the icepick is civil if there is something such that it bilks ornamental. sent4: there is something such that it does bilk ornamental or is Sufi or both. sent5: if something either does bilk ornamental or is not non-Sufi or both the icepick is civil. ; $proof$ = 
sent4 & sent5 -> int1: the icepick is civil.; int1 -> int2: the icepick either is civil or is a ozonosphere or both.; int2 -> hypothesis; __PROVED__