If a thought can be held, it can be transformed.
Enter the proof garden where arguments unfold as paper gates, ink pools, stones, and lanterns.
[
[
Premise Gate / 논리의 문
nonri.xyz
∴
∀
⊢
∃
Assume the night contains an order.
가정은 연못 위에 놓인 돌처럼 조용하지만, 다음 발걸음을 결정한다.
{
}
Implication bends around the void.
Jade inference threads draw themselves from premise to premise, refusing the easy straight line.
T
F
T
T
F
T
F
T
T
T
F
F
When p meets ¬p, the garden blooms red.
Conflict is not failure; it is the chamber where a hidden assumption becomes visible.
¬
¬p⊥¬q⊗⊥
]
Therefore, meaning is the path that survives contradiction.
nonri.xyz closes the theorem softly: not with a button, but with a lantern bright enough to read by.
∴
증명은 끝났지만, 정원은 아직 빛난다.