the fact that the PIE is caruncular and does halt is not right.
sent1: if something is autogenetic then that it is caruncular is not wrong. sent2: the antheridiophore is a stereoscopy if a philosophical thing is a urolith. sent3: a non-autogenetic thing is philosophical and a urolith. sent4: if there is something such that that it is not a falsie or it is inconstant or both is not right the antheridiophore is not a stereoscopy. sent5: that the pteridophyte is either not a falsie or inconstant or both does not hold. sent6: the PIE does halt.
sent3 -> int1: if that the PIE is not autogenetic is not wrong it is a kind of philosophical thing that is a urolith.; void -> assump1: Let's assume that the PIE is not autogenetic.; int1 & assump1 -> int2: the PIE is a kind of philosophical thing that is a urolith.; int2 -> int3: there exists something such that it is philosophical and a urolith.; int3 & sent2 -> int4: the antheridiophore is a stereoscopy.; sent5 -> int5: there is something such that the fact that it is not a falsie or it is not constant or both is wrong.; int5 & sent4 -> int6: the antheridiophore is not a stereoscopy.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the PIE is autogenetic.; sent1 -> int9: that the PIE is caruncular is right if the fact that it is autogenetic hold.; int8 & int9 -> int10: the PIE is not non-caruncular.; int10 & sent6 -> hypothesis;
$hypothesis$ = the fact that the PIE is caruncular and does halt is not right. ; $context$ = sent1: if something is autogenetic then that it is caruncular is not wrong. sent2: the antheridiophore is a stereoscopy if a philosophical thing is a urolith. sent3: a non-autogenetic thing is philosophical and a urolith. sent4: if there is something such that that it is not a falsie or it is inconstant or both is not right the antheridiophore is not a stereoscopy. sent5: that the pteridophyte is either not a falsie or inconstant or both does not hold. sent6: the PIE does halt. ; $proof$ = 
sent3 -> int1: if that the PIE is not autogenetic is not wrong it is a kind of philosophical thing that is a urolith.; void -> assump1: Let's assume that the PIE is not autogenetic.; int1 & assump1 -> int2: the PIE is a kind of philosophical thing that is a urolith.; int2 -> int3: there exists something such that it is philosophical and a urolith.; int3 & sent2 -> int4: the antheridiophore is a stereoscopy.; sent5 -> int5: there is something such that the fact that it is not a falsie or it is not constant or both is wrong.; int5 & sent4 -> int6: the antheridiophore is not a stereoscopy.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the PIE is autogenetic.; sent1 -> int9: that the PIE is caruncular is right if the fact that it is autogenetic hold.; int8 & int9 -> int10: the PIE is not non-caruncular.; int10 & sent6 -> hypothesis; __DISPROVED__