that there exists something such that if that it is not psychometric and does interrelate is not right it is not unsystematic is not correct.
sent1: the iconoclast is not unsystematic if the fact that it is not psychometric is not correct. sent2: something does not imbricate if that it is not a haven but leafy does not hold. sent3: there exists something such that if it is not a deception it is not bimetallistic. sent4: there is something such that if that it is non-psychometric thing that does interrelate is incorrect then it is unsystematic. sent5: if the iconoclast is not psychometric and interrelates it is not unsystematic. sent6: if that the iconoclast is a kind of non-psychometric thing that interrelates is not right then it is unsystematic. sent7: if that the iconoclast is a kind of non-psychometric thing that does interrelate is incorrect then it is not unsystematic.
sent7 -> hypothesis;
there exists something such that if that it is both not a haven and leafy does not hold it does not imbricate.
sent2 -> int1: if the fact that the matte is not a haven but it is leafy is not right it does not imbricate.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if that it is not psychometric and does interrelate is not right it is not unsystematic is not correct. ; $context$ = sent1: the iconoclast is not unsystematic if the fact that it is not psychometric is not correct. sent2: something does not imbricate if that it is not a haven but leafy does not hold. sent3: there exists something such that if it is not a deception it is not bimetallistic. sent4: there is something such that if that it is non-psychometric thing that does interrelate is incorrect then it is unsystematic. sent5: if the iconoclast is not psychometric and interrelates it is not unsystematic. sent6: if that the iconoclast is a kind of non-psychometric thing that interrelates is not right then it is unsystematic. sent7: if that the iconoclast is a kind of non-psychometric thing that does interrelate is incorrect then it is not unsystematic. ; $proof$ = 
sent7 -> hypothesis; __DISPROVED__