if the rift is not Rooseveltian then that that the pickelhaube does not permit Jap and is a dedifferentiation is true is incorrect.
sent1: the rift is Rooseveltian if there exists something such that it is a kind of a dedifferentiation or it is calisthenic or both. sent2: the rift is calisthenic if there exists something such that it is Rooseveltian or does permit Jap or both. sent3: the fact that the rift is Rooseveltian is true if there exists something such that it is calisthenic. sent4: if the rift is not Rooseveltian then the pickelhaube does not permit Jap but it is a kind of a dedifferentiation. sent5: that the pickelhaube does permit Jap and is a dedifferentiation does not hold. sent6: that the pickelhaube does not permit Jap and is a dedifferentiation is incorrect if the rift is Rooseveltian. sent7: the pickelhaube does not permit Jap. sent8: that the pitch does saturate is correct. sent9: the pickelhaube is Rooseveltian if there is something such that it is calisthenic and/or it permits Jap. sent10: if something either is calisthenic or is Rooseveltian or both then the rift is a dedifferentiation. sent11: the rift does permit rift. sent12: that the pickelhaube permits Jap and it is a dedifferentiation is wrong if the rift is not Rooseveltian. sent13: there is something such that it is a dedifferentiation.
void -> assump2: Let's assume that the pickelhaube does not permit Jap but it is a dedifferentiation.; assump2 -> int1: the pickelhaube is a dedifferentiation.; int1 -> int2: the pickelhaube is a dedifferentiation and/or it is calisthenic.; int2 -> int3: there exists something such that it is either a dedifferentiation or not non-calisthenic or both.; int3 & sent1 -> int4: the rift is Rooseveltian.; void -> assump1: Let's assume that the rift is not Rooseveltian.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: that the pickelhaube does not permit Jap but it is a dedifferentiation is not true.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the rift is not Rooseveltian then that that the pickelhaube does not permit Jap and is a dedifferentiation is true is incorrect. ; $context$ = sent1: the rift is Rooseveltian if there exists something such that it is a kind of a dedifferentiation or it is calisthenic or both. sent2: the rift is calisthenic if there exists something such that it is Rooseveltian or does permit Jap or both. sent3: the fact that the rift is Rooseveltian is true if there exists something such that it is calisthenic. sent4: if the rift is not Rooseveltian then the pickelhaube does not permit Jap but it is a kind of a dedifferentiation. sent5: that the pickelhaube does permit Jap and is a dedifferentiation does not hold. sent6: that the pickelhaube does not permit Jap and is a dedifferentiation is incorrect if the rift is Rooseveltian. sent7: the pickelhaube does not permit Jap. sent8: that the pitch does saturate is correct. sent9: the pickelhaube is Rooseveltian if there is something such that it is calisthenic and/or it permits Jap. sent10: if something either is calisthenic or is Rooseveltian or both then the rift is a dedifferentiation. sent11: the rift does permit rift. sent12: that the pickelhaube permits Jap and it is a dedifferentiation is wrong if the rift is not Rooseveltian. sent13: there is something such that it is a dedifferentiation. ; $proof$ = 
void -> assump2: Let's assume that the pickelhaube does not permit Jap but it is a dedifferentiation.; assump2 -> int1: the pickelhaube is a dedifferentiation.; int1 -> int2: the pickelhaube is a dedifferentiation and/or it is calisthenic.; int2 -> int3: there exists something such that it is either a dedifferentiation or not non-calisthenic or both.; int3 & sent1 -> int4: the rift is Rooseveltian.; void -> assump1: Let's assume that the rift is not Rooseveltian.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: that the pickelhaube does not permit Jap but it is a dedifferentiation is not true.; [assump1] & int6 -> hypothesis; __PROVED__