the cofactor is not idiographic.
sent1: The Fargo does imply sound. sent2: if there is something such that it is not non-aerobics then the gantlet is antrorse. sent3: something is idiographic if it is not a snowshoe. sent4: the gantlet is not a center if it is moonlit. sent5: if something is not cuticular and does center the fact that it does not imply Fargo is not false. sent6: if the gantlet does not center the sound is a kind of non-cuticular thing that is a center. sent7: if the gantlet is a kind of antrorse thing that is not moonlit the cofactor is not a snowshoe. sent8: something is aerobics. sent9: the sound does imply Fargo.
void -> assump1: Let's assume that the gantlet is moonlit.; sent4 & assump1 -> int1: the gantlet is not a center.; int1 & sent6 -> int2: the sound is non-cuticular but it is center.; sent5 -> int3: if the sound is not cuticular and is a center then it does not imply Fargo.; int2 & int3 -> int4: the sound does not imply Fargo.; int4 & sent9 -> int5: this is contradiction.; [assump1] & int5 -> int6: the gantlet is not moonlit.; sent8 & sent2 -> int7: the gantlet is antrorse.; int6 & int7 -> int8: the gantlet is antrorse but it is not moonlit.; int8 & sent7 -> int9: the cofactor is not a snowshoe.; sent3 -> int10: the cofactor is idiographic if it does not snowshoe.; int9 & int10 -> hypothesis;
$hypothesis$ = the cofactor is not idiographic. ; $context$ = sent1: The Fargo does imply sound. sent2: if there is something such that it is not non-aerobics then the gantlet is antrorse. sent3: something is idiographic if it is not a snowshoe. sent4: the gantlet is not a center if it is moonlit. sent5: if something is not cuticular and does center the fact that it does not imply Fargo is not false. sent6: if the gantlet does not center the sound is a kind of non-cuticular thing that is a center. sent7: if the gantlet is a kind of antrorse thing that is not moonlit the cofactor is not a snowshoe. sent8: something is aerobics. sent9: the sound does imply Fargo. ; $proof$ = 
void -> assump1: Let's assume that the gantlet is moonlit.; sent4 & assump1 -> int1: the gantlet is not a center.; int1 & sent6 -> int2: the sound is non-cuticular but it is center.; sent5 -> int3: if the sound is not cuticular and is a center then it does not imply Fargo.; int2 & int3 -> int4: the sound does not imply Fargo.; int4 & sent9 -> int5: this is contradiction.; [assump1] & int5 -> int6: the gantlet is not moonlit.; sent8 & sent2 -> int7: the gantlet is antrorse.; int6 & int7 -> int8: the gantlet is antrorse but it is not moonlit.; int8 & sent7 -> int9: the cofactor is not a snowshoe.; sent3 -> int10: the cofactor is idiographic if it does not snowshoe.; int9 & int10 -> hypothesis; __DISPROVED__