that that the nun does not bark sclerite but it is malicious is not true if the starfish is alternating is wrong.
sent1: the starfish alternates if the nun does not bark sclerite and is malicious. sent2: if the nun does not bark sclerite and is malicious then the starfish does not alternate. sent3: the Monsignor does bark sclerite. sent4: if the starfish does alternate then the fact that the nun barks sclerite and is malicious is incorrect. sent5: if the nun does alternate and it is malicious the starfish does not bark sclerite. sent6: if the starfish alternates then the nun does not bark sclerite but it is malicious. sent7: the fact that the nun is malicious is right.
void -> assump2: Let's assume that the fact that the nun does not bark sclerite and is malicious is true.; sent2 & assump2 -> int1: the starfish is not alternating.; void -> assump1: Let's assume that the starfish alternates.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the nun does not bark sclerite but it is malicious is false.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that that the nun does not bark sclerite but it is malicious is not true if the starfish is alternating is wrong. ; $context$ = sent1: the starfish alternates if the nun does not bark sclerite and is malicious. sent2: if the nun does not bark sclerite and is malicious then the starfish does not alternate. sent3: the Monsignor does bark sclerite. sent4: if the starfish does alternate then the fact that the nun barks sclerite and is malicious is incorrect. sent5: if the nun does alternate and it is malicious the starfish does not bark sclerite. sent6: if the starfish alternates then the nun does not bark sclerite but it is malicious. sent7: the fact that the nun is malicious is right. ; $proof$ = 
void -> assump2: Let's assume that the fact that the nun does not bark sclerite and is malicious is true.; sent2 & assump2 -> int1: the starfish is not alternating.; void -> assump1: Let's assume that the starfish alternates.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the nun does not bark sclerite but it is malicious is false.; [assump1] & int3 -> hypothesis; __DISPROVED__