the diva is iridic.
sent1: the diva is iridic if that the figeater is unreliable hold. sent2: if there is something such that it is not unfree and not dissimilar the figeater is not reliable. sent3: the figeater does not harlequin Tachinidae and it is not iridic. sent4: something is not unfree and not iridic. sent5: the magnetron does slap if that the figeater is not a kind of a slap is correct. sent6: there exists something such that it does hue cross-link. sent7: if there is something such that it hues cross-link then the magnetron is non-unfree thing that is not dissimilar.
sent6 & sent7 -> int1: the magnetron is a kind of non-unfree thing that is non-dissimilar.; int1 -> int2: there are free and non-dissimilar things.; int2 & sent2 -> int3: the figeater is unreliable.; int3 & sent1 -> hypothesis;
the magnetron slaps.
$hypothesis$ = the diva is iridic. ; $context$ = sent1: the diva is iridic if that the figeater is unreliable hold. sent2: if there is something such that it is not unfree and not dissimilar the figeater is not reliable. sent3: the figeater does not harlequin Tachinidae and it is not iridic. sent4: something is not unfree and not iridic. sent5: the magnetron does slap if that the figeater is not a kind of a slap is correct. sent6: there exists something such that it does hue cross-link. sent7: if there is something such that it hues cross-link then the magnetron is non-unfree thing that is not dissimilar. ; $proof$ = 
sent6 & sent7 -> int1: the magnetron is a kind of non-unfree thing that is non-dissimilar.; int1 -> int2: there are free and non-dissimilar things.; int2 & sent2 -> int3: the figeater is unreliable.; int3 & sent1 -> hypothesis; __PROVED__