that the narc does not motorboat is not wrong.
sent1: if the transept is not patristic it is eolithic thing that is a kind of a fizgig. sent2: the bedbug twills Procellariidae if the fact that the narc is not a motorboat and it is not lucky is not correct. sent3: the transept is not a fizgig if the bedbug is a Yogacara and/or it does twill Procellariidae. sent4: everything is not patristic.
void -> assump1: Let's assume that that that the narc is not a motorboat and is not lucky is right does not hold.; sent2 & assump1 -> int1: the bedbug does twill Procellariidae.; int1 -> int2: the bedbug is a kind of a Yogacara and/or it does twill Procellariidae.; int2 & sent3 -> int3: the transept is not a fizgig.; sent4 -> int4: the transept is not patristic.; sent1 & int4 -> int5: the transept is eolithic and a fizgig.; int5 -> int6: the transept is a kind of a fizgig.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the narc is not a motorboat and not lucky.; int8 -> hypothesis;
$hypothesis$ = that the narc does not motorboat is not wrong. ; $context$ = sent1: if the transept is not patristic it is eolithic thing that is a kind of a fizgig. sent2: the bedbug twills Procellariidae if the fact that the narc is not a motorboat and it is not lucky is not correct. sent3: the transept is not a fizgig if the bedbug is a Yogacara and/or it does twill Procellariidae. sent4: everything is not patristic. ; $proof$ = 
void -> assump1: Let's assume that that that the narc is not a motorboat and is not lucky is right does not hold.; sent2 & assump1 -> int1: the bedbug does twill Procellariidae.; int1 -> int2: the bedbug is a kind of a Yogacara and/or it does twill Procellariidae.; int2 & sent3 -> int3: the transept is not a fizgig.; sent4 -> int4: the transept is not patristic.; sent1 & int4 -> int5: the transept is eolithic and a fizgig.; int5 -> int6: the transept is a kind of a fizgig.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the narc is not a motorboat and not lucky.; int8 -> hypothesis; __PROVED__