the contents is immediate.
sent1: that the shit is not a narcoleptic and/or is a hygroscope if the R-2 is not a kind of a narcoleptic is true. sent2: either the seconder does not inlay or it is a Zion or both if the cordage is not an inlay. sent3: that the fact that the shit is not a hygroscope and it is not a gigot is not right is true if the seconder is not a kind of a gigot. sent4: the seconder is not a gigot if it is not an inlaid or it is a Zion or both. sent5: the shit is not a hygroscope and is not a gigot. sent6: if the cordage is a kind of an inlaid and it is immediate then the seconder is not a kind of a gigot. sent7: if the contents is not immediate the R-2 is both a bulwark and narcoleptic. sent8: if the R-2 bulwarks and it is not non-narcoleptic the cordage is not an inlaid. sent9: the fact that the shit is not immediate but it is a gigot is not true.
void -> assump1: Let's assume that the contents is non-immediate.; sent7 & assump1 -> int1: the R-2 is a bulwark and it is a narcoleptic.; int1 & sent8 -> int2: the cordage is not a kind of an inlaid.; int2 & sent2 -> int3: the seconder is not an inlaid and/or is a kind of a Zion.; int3 & sent4 -> int4: the seconder is not a gigot.; int4 & sent3 -> int5: the fact that the shit is not a kind of a hygroscope and it is not a gigot is false.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the contents is immediate. ; $context$ = sent1: that the shit is not a narcoleptic and/or is a hygroscope if the R-2 is not a kind of a narcoleptic is true. sent2: either the seconder does not inlay or it is a Zion or both if the cordage is not an inlay. sent3: that the fact that the shit is not a hygroscope and it is not a gigot is not right is true if the seconder is not a kind of a gigot. sent4: the seconder is not a gigot if it is not an inlaid or it is a Zion or both. sent5: the shit is not a hygroscope and is not a gigot. sent6: if the cordage is a kind of an inlaid and it is immediate then the seconder is not a kind of a gigot. sent7: if the contents is not immediate the R-2 is both a bulwark and narcoleptic. sent8: if the R-2 bulwarks and it is not non-narcoleptic the cordage is not an inlaid. sent9: the fact that the shit is not immediate but it is a gigot is not true. ; $proof$ = 
void -> assump1: Let's assume that the contents is non-immediate.; sent7 & assump1 -> int1: the R-2 is a bulwark and it is a narcoleptic.; int1 & sent8 -> int2: the cordage is not a kind of an inlaid.; int2 & sent2 -> int3: the seconder is not an inlaid and/or is a kind of a Zion.; int3 & sent4 -> int4: the seconder is not a gigot.; int4 & sent3 -> int5: the fact that the shit is not a kind of a hygroscope and it is not a gigot is false.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__