the machicolation is not a masking and it is not a predestinarianism.
sent1: if the machicolation reposits pageant and is a bunsen it is not a minimalist. sent2: the adenine is a kind of a refinery if the garrote does horripilate mooneye. sent3: if the garrote does horripilate Atherurus then the adenine is a refinery. sent4: if the machicolation is not a kind of a minimalist it is not a masking and not a predestinarianism. sent5: the machicolation reposits pageant if the adenine is a kind of a refinery. sent6: either the garrote is a predestinarianism or it does horripilate mooneye or both. sent7: the machicolation is a bunsen. sent8: the garrote either horripilates mooneye or does horripilate Atherurus or both.
sent8 & sent2 & sent3 -> int1: the adenine is a kind of a refinery.; int1 & sent5 -> int2: the machicolation does reposit pageant.; int2 & sent7 -> int3: the machicolation does reposit pageant and it is a bunsen.; int3 & sent1 -> int4: the machicolation is not a minimalist.; int4 & sent4 -> hypothesis;
$hypothesis$ = the machicolation is not a masking and it is not a predestinarianism. ; $context$ = sent1: if the machicolation reposits pageant and is a bunsen it is not a minimalist. sent2: the adenine is a kind of a refinery if the garrote does horripilate mooneye. sent3: if the garrote does horripilate Atherurus then the adenine is a refinery. sent4: if the machicolation is not a kind of a minimalist it is not a masking and not a predestinarianism. sent5: the machicolation reposits pageant if the adenine is a kind of a refinery. sent6: either the garrote is a predestinarianism or it does horripilate mooneye or both. sent7: the machicolation is a bunsen. sent8: the garrote either horripilates mooneye or does horripilate Atherurus or both. ; $proof$ = 
sent8 & sent2 & sent3 -> int1: the adenine is a kind of a refinery.; int1 & sent5 -> int2: the machicolation does reposit pageant.; int2 & sent7 -> int3: the machicolation does reposit pageant and it is a bunsen.; int3 & sent1 -> int4: the machicolation is not a minimalist.; int4 & sent4 -> hypothesis; __PROVED__