the fact that the gem does unpick and it does tinsel goldcrest is incorrect.
sent1: everything is a Spillane and it is non-middle-class. sent2: the quitter is a Spillane and it does unpick. sent3: the fact that the gem does unpick is not false. sent4: if the kishke is ambiversive the gem is not a Antedonidae. sent5: the gem does tinsel goldcrest if something that is a Spillane is not middle-class. sent6: there exists something such that it unpicks.
sent1 -> int1: the quitter is both a Spillane and not middle-class.; int1 -> int2: there is something such that it is a Spillane and it is not middle-class.; int2 & sent5 -> int3: the gem does tinsel goldcrest.; int3 & sent3 -> hypothesis;
that the gem does unpick and it tinsels goldcrest is not correct.
$hypothesis$ = the fact that the gem does unpick and it does tinsel goldcrest is incorrect. ; $context$ = sent1: everything is a Spillane and it is non-middle-class. sent2: the quitter is a Spillane and it does unpick. sent3: the fact that the gem does unpick is not false. sent4: if the kishke is ambiversive the gem is not a Antedonidae. sent5: the gem does tinsel goldcrest if something that is a Spillane is not middle-class. sent6: there exists something such that it unpicks. ; $proof$ = 
sent1 -> int1: the quitter is both a Spillane and not middle-class.; int1 -> int2: there is something such that it is a Spillane and it is not middle-class.; int2 & sent5 -> int3: the gem does tinsel goldcrest.; int3 & sent3 -> hypothesis; __DISPROVED__