the Exmoor is indirect.
sent1: that the ayatollah is a kind of a consigner is correct if it smooths. sent2: the mackinaw is a smoothed. sent3: if something is basidiomycetous it is a kind of a compulsiveness. sent4: if the ayatollah is not a consigner the Exmoor is not indirect. sent5: the ayatollah is indirect. sent6: if the ayatollah is a consigner then it is aesculapian. sent7: something is a consigner if it is a compulsiveness. sent8: the mackinaw is a compulsiveness. sent9: that the Exmoor is not a kind of a compulsiveness hold if the ayatollah is non-aesculapian thing that is a consigner. sent10: the ayatollah is not a compulsiveness if the mackinaw is a smoothed and a compulsiveness. sent11: that the vintage is basidiomycetous hold. sent12: something is basidiomycetous if it is aesculapian.
void -> assump1: Let's assume that the ayatollah is a consigner.; sent6 & assump1 -> int1: the fact that the ayatollah is aesculapian is not wrong.; sent12 -> int2: the ayatollah is basidiomycetous if it is aesculapian.; int1 & int2 -> int3: the ayatollah is basidiomycetous.; sent3 -> int4: if the ayatollah is basidiomycetous then it is a compulsiveness.; int3 & int4 -> int5: the ayatollah is a compulsiveness.; sent2 & sent8 -> int6: the mackinaw does smooth and it is a compulsiveness.; sent10 & int6 -> int7: the ayatollah is not a compulsiveness.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the ayatollah is not a consigner is not incorrect.; int9 & sent4 -> hypothesis;
the Exmoor is not a compulsiveness.
$hypothesis$ = the Exmoor is indirect. ; $context$ = sent1: that the ayatollah is a kind of a consigner is correct if it smooths. sent2: the mackinaw is a smoothed. sent3: if something is basidiomycetous it is a kind of a compulsiveness. sent4: if the ayatollah is not a consigner the Exmoor is not indirect. sent5: the ayatollah is indirect. sent6: if the ayatollah is a consigner then it is aesculapian. sent7: something is a consigner if it is a compulsiveness. sent8: the mackinaw is a compulsiveness. sent9: that the Exmoor is not a kind of a compulsiveness hold if the ayatollah is non-aesculapian thing that is a consigner. sent10: the ayatollah is not a compulsiveness if the mackinaw is a smoothed and a compulsiveness. sent11: that the vintage is basidiomycetous hold. sent12: something is basidiomycetous if it is aesculapian. ; $proof$ = 
void -> assump1: Let's assume that the ayatollah is a consigner.; sent6 & assump1 -> int1: the fact that the ayatollah is aesculapian is not wrong.; sent12 -> int2: the ayatollah is basidiomycetous if it is aesculapian.; int1 & int2 -> int3: the ayatollah is basidiomycetous.; sent3 -> int4: if the ayatollah is basidiomycetous then it is a compulsiveness.; int3 & int4 -> int5: the ayatollah is a compulsiveness.; sent2 & sent8 -> int6: the mackinaw does smooth and it is a compulsiveness.; sent10 & int6 -> int7: the ayatollah is not a compulsiveness.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the ayatollah is not a consigner is not incorrect.; int9 & sent4 -> hypothesis; __DISPROVED__