the fact that the Modicon is not a sharkskin and is illative is wrong.
sent1: the fact that something is not a sharkskin but illative is wrong if it is a Shingon. sent2: if the fact that the deaf-aid is not a net is not wrong then the Modicon is not a sharkskin but illative. sent3: the deaf-aid is a Shingon but it is not a net. sent4: the Modicon does not network preserved. sent5: the deaf-aid is a Shingon. sent6: that the penitent is both not a Shingon and a aloneness is right. sent7: the skunk sediments Nibelung but it is not a sharkskin.
sent3 -> int1: the deaf-aid does not net.; sent2 & int1 -> hypothesis;
the fact that the Modicon is not a sharkskin but it is illative is not correct.
sent1 -> int2: the fact that the Modicon is not a sharkskin and is illative is wrong if it is a Shingon.;
$hypothesis$ = the fact that the Modicon is not a sharkskin and is illative is wrong. ; $context$ = sent1: the fact that something is not a sharkskin but illative is wrong if it is a Shingon. sent2: if the fact that the deaf-aid is not a net is not wrong then the Modicon is not a sharkskin but illative. sent3: the deaf-aid is a Shingon but it is not a net. sent4: the Modicon does not network preserved. sent5: the deaf-aid is a Shingon. sent6: that the penitent is both not a Shingon and a aloneness is right. sent7: the skunk sediments Nibelung but it is not a sharkskin. ; $proof$ = 
sent3 -> int1: the deaf-aid does not net.; sent2 & int1 -> hypothesis; __DISPROVED__