if the great-nephew is not a Frank then that the floater is a kind of a compliment and it is a Dresden does not hold.
sent1: if the fact that that the great-nephew is a plop but it does not stagger communalism is right is false it stagger communalism. sent2: that the great-nephew is a kind of a plop that does not stagger communalism is incorrect. sent3: the Shaktist does stagger communalism if that it does stagger psalmody and it does not stagger communalism is not correct. sent4: that the great-nephew plops and does stagger communalism is incorrect. sent5: the fact that the floater is a Frank that is not a cenotaph is not true. sent6: if the great-nephew is not lucky and it is not a Frank the phragmocone does not plop. sent7: if the great-nephew is lucky and is not a kind of a Frank then it does not stagger communalism. sent8: if the isohel is not a kind of a Dresden then that it is not a compliment or it does reflect or both is not correct. sent9: if the fact that the isohel does not compliment and/or it reflects does not hold then the bucksaw does not compliment. sent10: that the great-nephew is a Frank and it is collapsible is not true. sent11: if the great-nephew staggers communalism the fact that the floater is a Dresden that is not unlucky is not true. sent12: that the great-nephew does plop and does batch parcel is wrong. sent13: the floater compliments and is a Dresden if the great-nephew is not lucky.
void -> assump2: Let's assume that that the great-nephew is lucky is right.; void -> assump1: Let's assume that the great-nephew is not a Frank.; assump2 & assump1 -> int1: the great-nephew is lucky and is not a Frank.; int1 & sent7 -> int2: the great-nephew does not stagger communalism.; sent1 & sent2 -> int3: the great-nephew staggers communalism.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the great-nephew is unlucky is not incorrect.;
the phragmocone does not plop.
$hypothesis$ = if the great-nephew is not a Frank then that the floater is a kind of a compliment and it is a Dresden does not hold. ; $context$ = sent1: if the fact that that the great-nephew is a plop but it does not stagger communalism is right is false it stagger communalism. sent2: that the great-nephew is a kind of a plop that does not stagger communalism is incorrect. sent3: the Shaktist does stagger communalism if that it does stagger psalmody and it does not stagger communalism is not correct. sent4: that the great-nephew plops and does stagger communalism is incorrect. sent5: the fact that the floater is a Frank that is not a cenotaph is not true. sent6: if the great-nephew is not lucky and it is not a Frank the phragmocone does not plop. sent7: if the great-nephew is lucky and is not a kind of a Frank then it does not stagger communalism. sent8: if the isohel is not a kind of a Dresden then that it is not a compliment or it does reflect or both is not correct. sent9: if the fact that the isohel does not compliment and/or it reflects does not hold then the bucksaw does not compliment. sent10: that the great-nephew is a Frank and it is collapsible is not true. sent11: if the great-nephew staggers communalism the fact that the floater is a Dresden that is not unlucky is not true. sent12: that the great-nephew does plop and does batch parcel is wrong. sent13: the floater compliments and is a Dresden if the great-nephew is not lucky. ; $proof$ = 
void -> assump2: Let's assume that that the great-nephew is lucky is right.; void -> assump1: Let's assume that the great-nephew is not a Frank.; assump2 & assump1 -> int1: the great-nephew is lucky and is not a Frank.; int1 & sent7 -> int2: the great-nephew does not stagger communalism.; sent1 & sent2 -> int3: the great-nephew staggers communalism.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the great-nephew is unlucky is not incorrect.; __UNKNOWN__