that the chopstick is congeneric if the suture is a Athanasianism does not hold.
sent1: that the renewal is a transitive and/or it is not a kind of a forty is not right if the suture is not a forty. sent2: if something that is a Athanasianism does interpolate it is not a forty. sent3: if there is something such that the fact that it is a kind of a transitive or it is not a forty or both is not correct the chopstick is congeneric. sent4: the suture interpolates.
void -> assump1: Let's assume that that the suture is a kind of a Athanasianism is correct.; assump1 & sent4 -> int1: the suture is a Athanasianism and interpolates.; sent2 -> int2: the suture is not a forty if it is a Athanasianism that interpolates.; int1 & int2 -> int3: the suture is not a kind of a forty.; int3 & sent1 -> int4: that the renewal is a transitive and/or is not a forty is incorrect.; int4 -> int5: there exists something such that the fact that it is a kind of a transitive or it is not a forty or both is incorrect.; int5 & sent3 -> int6: the chopstick is congeneric.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the chopstick is congeneric if the suture is a Athanasianism does not hold. ; $context$ = sent1: that the renewal is a transitive and/or it is not a kind of a forty is not right if the suture is not a forty. sent2: if something that is a Athanasianism does interpolate it is not a forty. sent3: if there is something such that the fact that it is a kind of a transitive or it is not a forty or both is not correct the chopstick is congeneric. sent4: the suture interpolates. ; $proof$ = 
void -> assump1: Let's assume that that the suture is a kind of a Athanasianism is correct.; assump1 & sent4 -> int1: the suture is a Athanasianism and interpolates.; sent2 -> int2: the suture is not a forty if it is a Athanasianism that interpolates.; int1 & int2 -> int3: the suture is not a kind of a forty.; int3 & sent1 -> int4: that the renewal is a transitive and/or is not a forty is incorrect.; int4 -> int5: there exists something such that the fact that it is a kind of a transitive or it is not a forty or both is incorrect.; int5 & sent3 -> int6: the chopstick is congeneric.; [assump1] & int6 -> hypothesis; __DISPROVED__