the fact that there is something such that if that either it is not a Siva or it is not a Alecto or both does not hold it is not icosahedral is not correct.
sent1: something does not detach if the fact that it is not expiratory or is not Teutonic or both is incorrect. sent2: if the fact that something is not a kind of a Siva and/or it is not a Alecto is not right it is not icosahedral. sent3: if the fact that the Thessalonian either does not labor Tabernacle or is not a barrier or both is false it is icosahedral.
sent2 -> int1: the fact that the Thessalonian is not icosahedral is not false if the fact that it is not a Siva or it is not a Alecto or both is not true.; int1 -> hypothesis;
the baryon does not detach if the fact that it is not expiratory and/or it is not Teutonic does not hold.
sent1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if that either it is not a Siva or it is not a Alecto or both does not hold it is not icosahedral is not correct. ; $context$ = sent1: something does not detach if the fact that it is not expiratory or is not Teutonic or both is incorrect. sent2: if the fact that something is not a kind of a Siva and/or it is not a Alecto is not right it is not icosahedral. sent3: if the fact that the Thessalonian either does not labor Tabernacle or is not a barrier or both is false it is icosahedral. ; $proof$ = 
sent2 -> int1: the fact that the Thessalonian is not icosahedral is not false if the fact that it is not a Siva or it is not a Alecto or both is not true.; int1 -> hypothesis; __DISPROVED__