the Porter is an inverse and it is sudden.
sent1: if the teletypewriter is not monoecious and is a terrain the celebrant syllogizes inactivity. sent2: the crush does articulate langsat and it does articulate buckthorn if it is not Nicaean. sent3: a nasty thing does toilet-train treaty. sent4: if the teletypewriter is monoecious then it is not an inverse. sent5: that the teletypewriter is not sudden but it is a terrain is false. sent6: the Porter is not direct if the teletypewriter is not a kind of a direct. sent7: that the Porter is not serious but it does syllogize inactivity does not hold if the crush does toilet-train treaty. sent8: the fact that the Porter is an inverse and it is sudden hold if the teletypewriter is not inverse. sent9: the celebrant does not syllogize inactivity and is not serious. sent10: something that articulates langsat is nasty. sent11: the fact that the teletypewriter is not sudden and it is not inaccessible is true if the celebrant is an inverse. sent12: the Porter is a kind of an inverse. sent13: if the fact that something is non-monoecious and is a terrain does not hold then it is not an inverse. sent14: something that is monoecious is not inverse. sent15: the teletypewriter is not monoecious. sent16: the fact that the celebrant toilet-trains treaty or is not nasty or both is not wrong.
void -> assump1: Let's assume that the teletypewriter is not monoecious but it is a terrain.; sent1 & assump1 -> int1: the celebrant does syllogize inactivity.; sent9 -> int2: the celebrant does not syllogize inactivity.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the teletypewriter is not monoecious but it is a terrain does not hold.; sent13 -> int5: if the fact that the teletypewriter is non-monoecious thing that is a terrain is false it is direct.; int4 & int5 -> int6: the teletypewriter is not an inverse.; int6 & sent8 -> hypothesis;
the teletypewriter is non-sudden thing that is not inaccessible.
sent3 -> int7: the crush toilet-trains treaty if it is nasty.; sent10 -> int8: the fact that if the crush articulates langsat the crush is nasty is right.;
$hypothesis$ = the Porter is an inverse and it is sudden. ; $context$ = sent1: if the teletypewriter is not monoecious and is a terrain the celebrant syllogizes inactivity. sent2: the crush does articulate langsat and it does articulate buckthorn if it is not Nicaean. sent3: a nasty thing does toilet-train treaty. sent4: if the teletypewriter is monoecious then it is not an inverse. sent5: that the teletypewriter is not sudden but it is a terrain is false. sent6: the Porter is not direct if the teletypewriter is not a kind of a direct. sent7: that the Porter is not serious but it does syllogize inactivity does not hold if the crush does toilet-train treaty. sent8: the fact that the Porter is an inverse and it is sudden hold if the teletypewriter is not inverse. sent9: the celebrant does not syllogize inactivity and is not serious. sent10: something that articulates langsat is nasty. sent11: the fact that the teletypewriter is not sudden and it is not inaccessible is true if the celebrant is an inverse. sent12: the Porter is a kind of an inverse. sent13: if the fact that something is non-monoecious and is a terrain does not hold then it is not an inverse. sent14: something that is monoecious is not inverse. sent15: the teletypewriter is not monoecious. sent16: the fact that the celebrant toilet-trains treaty or is not nasty or both is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the teletypewriter is not monoecious but it is a terrain.; sent1 & assump1 -> int1: the celebrant does syllogize inactivity.; sent9 -> int2: the celebrant does not syllogize inactivity.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the teletypewriter is not monoecious but it is a terrain does not hold.; sent13 -> int5: if the fact that the teletypewriter is non-monoecious thing that is a terrain is false it is direct.; int4 & int5 -> int6: the teletypewriter is not an inverse.; int6 & sent8 -> hypothesis; __PROVED__