the fact that that the siderocyte is intolerable hold if the chess is a sial is false.
sent1: there exists something such that it is a sial. sent2: there is something such that it is an excommunication. sent3: the siderocyte is intolerable and/or it is an excommunication. sent4: if the chess is a sial then the siderocyte is an excommunication. sent5: the chess is intolerable if the siderocyte is a kind of a sial. sent6: there exists something such that it is a Stavanger and/or it is not non-digestive. sent7: if either something is an excommunication or it is a sial or both then the chess is intolerable. sent8: that the siderocyte is intolerable is not false if either something is a kind of an excommunication or it is a sial or both. sent9: the chess is an excommunication.
void -> assump1: Let's assume that the fact that the chess is a sial is not incorrect.; assump1 -> int1: the chess is a kind of an excommunication and/or it is a kind of a sial.; int1 -> int2: something is an excommunication and/or it is a kind of a sial.; int2 & sent8 -> int3: the siderocyte is intolerable.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that that the siderocyte is intolerable hold if the chess is a sial is false. ; $context$ = sent1: there exists something such that it is a sial. sent2: there is something such that it is an excommunication. sent3: the siderocyte is intolerable and/or it is an excommunication. sent4: if the chess is a sial then the siderocyte is an excommunication. sent5: the chess is intolerable if the siderocyte is a kind of a sial. sent6: there exists something such that it is a Stavanger and/or it is not non-digestive. sent7: if either something is an excommunication or it is a sial or both then the chess is intolerable. sent8: that the siderocyte is intolerable is not false if either something is a kind of an excommunication or it is a sial or both. sent9: the chess is an excommunication. ; $proof$ = 
void -> assump1: Let's assume that the fact that the chess is a sial is not incorrect.; assump1 -> int1: the chess is a kind of an excommunication and/or it is a kind of a sial.; int1 -> int2: something is an excommunication and/or it is a kind of a sial.; int2 & sent8 -> int3: the siderocyte is intolerable.; [assump1] & int3 -> hypothesis; __DISPROVED__