the fact that the dungeon is both inefficient and not a Swinburne does not hold.
sent1: the sauna is an antipodal if it shrinks cartographer and it does ding cardigan. sent2: if something dings ghoul and it murmurs curve it is a dermatoglyphics. sent3: if something that is inefficient is not a kind of a Swinburne then it shrinks cartographer. sent4: the dungeon is periodic but not antipodal. sent5: if the dungeon shrinks cartographer then the sauna dings cardigan. sent6: if the sauna is antipodal and it is not efficient then it does ding cardigan. sent7: something that does shrink charity and is not a agon does tame activator. sent8: if something does ding cardigan that it is an antipodal hold. sent9: the bunyavirus does shrink cartographer. sent10: the dungeon is a Swinburne if the fact that it is antipodal is not wrong. sent11: the sauna is not an antipodal. sent12: the dungeon is a kind of a refutation and is not four-wheel.
sent3 -> int1: if the dungeon is inefficient and is not a kind of a Swinburne then it shrinks cartographer.; void -> assump1: Let's assume that that the dungeon is inefficient but it is not a kind of a Swinburne is not wrong.; int1 & assump1 -> int2: the dungeon does shrink cartographer.; int2 & sent5 -> int3: that the sauna dings cardigan is right.; sent8 -> int4: if the sauna does ding cardigan then it is an antipodal.; int3 & int4 -> int5: the sauna is an antipodal.; int5 & sent11 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the dungeon is both inefficient and not a Swinburne does not hold. ; $context$ = sent1: the sauna is an antipodal if it shrinks cartographer and it does ding cardigan. sent2: if something dings ghoul and it murmurs curve it is a dermatoglyphics. sent3: if something that is inefficient is not a kind of a Swinburne then it shrinks cartographer. sent4: the dungeon is periodic but not antipodal. sent5: if the dungeon shrinks cartographer then the sauna dings cardigan. sent6: if the sauna is antipodal and it is not efficient then it does ding cardigan. sent7: something that does shrink charity and is not a agon does tame activator. sent8: if something does ding cardigan that it is an antipodal hold. sent9: the bunyavirus does shrink cartographer. sent10: the dungeon is a Swinburne if the fact that it is antipodal is not wrong. sent11: the sauna is not an antipodal. sent12: the dungeon is a kind of a refutation and is not four-wheel. ; $proof$ = 
sent3 -> int1: if the dungeon is inefficient and is not a kind of a Swinburne then it shrinks cartographer.; void -> assump1: Let's assume that that the dungeon is inefficient but it is not a kind of a Swinburne is not wrong.; int1 & assump1 -> int2: the dungeon does shrink cartographer.; int2 & sent5 -> int3: that the sauna dings cardigan is right.; sent8 -> int4: if the sauna does ding cardigan then it is an antipodal.; int3 & int4 -> int5: the sauna is an antipodal.; int5 & sent11 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__