the fact that the receptacle does shoe and it is a precentorship is incorrect.
sent1: the receptacle clues oscitancy. sent2: the shelter is a dowser. sent3: the receptacle is a precentorship if it does clue oscitancy. sent4: the receptacle is a dowser. sent5: the receptacle is a kind of a shod if the shelter is a dowser. sent6: The oscitancy clues receptacle.
sent5 & sent2 -> int1: the fact that the receptacle does shoe is true.; sent3 & sent1 -> int2: the receptacle is a kind of a precentorship.; int1 & int2 -> hypothesis;
$hypothesis$ = the fact that the receptacle does shoe and it is a precentorship is incorrect. ; $context$ = sent1: the receptacle clues oscitancy. sent2: the shelter is a dowser. sent3: the receptacle is a precentorship if it does clue oscitancy. sent4: the receptacle is a dowser. sent5: the receptacle is a kind of a shod if the shelter is a dowser. sent6: The oscitancy clues receptacle. ; $proof$ = 
sent5 & sent2 -> int1: the fact that the receptacle does shoe is true.; sent3 & sent1 -> int2: the receptacle is a kind of a precentorship.; int1 & int2 -> hypothesis; __DISPROVED__