the fact that there exists something such that if it is not a Albert that it is a kind of a lumpenproletariat and it ammoniates Florida is not right is wrong.
sent1: if the smirker is not a kind of a representative that it is a dish and a lumpenproletariat is not true. sent2: the fact that something is a kind of a lumpenproletariat and ammoniates Florida is not true if it is not a kind of a Albert. sent3: if something is not a kind of a Albert then it is a lumpenproletariat and it ammoniates Florida. sent4: there exists something such that if it is not a node then the fact that it is both unholy and not non-alchemistic is incorrect. sent5: that there exists something such that if it is a Albert the fact that it is a kind of a lumpenproletariat that ammoniates Florida is not right is right.
sent2 -> int1: that the smirker is a lumpenproletariat and it ammoniates Florida is not correct if it is not a kind of a Albert.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a Albert that it is a kind of a lumpenproletariat and it ammoniates Florida is not right is wrong. ; $context$ = sent1: if the smirker is not a kind of a representative that it is a dish and a lumpenproletariat is not true. sent2: the fact that something is a kind of a lumpenproletariat and ammoniates Florida is not true if it is not a kind of a Albert. sent3: if something is not a kind of a Albert then it is a lumpenproletariat and it ammoniates Florida. sent4: there exists something such that if it is not a node then the fact that it is both unholy and not non-alchemistic is incorrect. sent5: that there exists something such that if it is a Albert the fact that it is a kind of a lumpenproletariat that ammoniates Florida is not right is right. ; $proof$ = 
sent2 -> int1: that the smirker is a lumpenproletariat and it ammoniates Florida is not correct if it is not a kind of a Albert.; int1 -> hypothesis; __DISPROVED__