the Jihadist is not cartographic and does not nutate.
sent1: if the fact that something is neuropsychiatric but it is not a kind of a laureate is not true the fact that it is not cartographic is not incorrect. sent2: if the Jihadist is not cartographic and it does not nutate the word-painter is not a kind of a laureate. sent3: that the word-painter is not a laureate does not hold. sent4: if the word-painter is not cartographic and not a laureate the Jihadist does not nutate. sent5: the fact that the cyproheptadine is neuropsychiatric and is not a laureate does not hold if the Jihadist does not cheat.
void -> assump1: Let's assume that the Jihadist is not cartographic and it does not nutate.; sent2 & assump1 -> int1: the word-painter is not a kind of a laureate.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the cyproheptadine is not cartographic and it does not stifle cleaner.
sent1 -> int3: the cyproheptadine is non-cartographic if the fact that it is neuropsychiatric but not a laureate is wrong.;
$hypothesis$ = the Jihadist is not cartographic and does not nutate. ; $context$ = sent1: if the fact that something is neuropsychiatric but it is not a kind of a laureate is not true the fact that it is not cartographic is not incorrect. sent2: if the Jihadist is not cartographic and it does not nutate the word-painter is not a kind of a laureate. sent3: that the word-painter is not a laureate does not hold. sent4: if the word-painter is not cartographic and not a laureate the Jihadist does not nutate. sent5: the fact that the cyproheptadine is neuropsychiatric and is not a laureate does not hold if the Jihadist does not cheat. ; $proof$ = 
void -> assump1: Let's assume that the Jihadist is not cartographic and it does not nutate.; sent2 & assump1 -> int1: the word-painter is not a kind of a laureate.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __DISPROVED__