この棋士は還魂する
fact1: この棋士はきつ過ぎない fact2: もし「あるものは還魂するししかもぼろい」ということは成り立たないとすれば還魂しない fact3: もし「何らかの物は与し易いしそれは税理士法である」ということは成り立たないならば与し易くない fact4: その学校施設・設備はきつ過ぎない fact5: この棋士は例外無くない fact6: もしもこの棋士は還魂しないとすると「「それはきつ過ぎるということはなくてかつ例外無くない」ということは事実だ」ということは嘘だ
void -> assump1: 以下のように仮定する。この棋士は還魂しない; fact6 & assump1 -> int1: 「この棋士はきつ過ぎなくてかつ例外無くない」ということは成り立たない; fact5 & fact1 -> int2: この棋士はきつ過ぎないしそれに例外無いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この棋士は還魂するということはない
fact7 -> int4: もし仮に「この棋士は還魂するしさらにぼろい」ということは間違いであるとすると還魂しない;
$facts$ = fact1: この棋士はきつ過ぎない fact2: もし「あるものは還魂するししかもぼろい」ということは成り立たないとすれば還魂しない fact3: もし「何らかの物は与し易いしそれは税理士法である」ということは成り立たないならば与し易くない fact4: その学校施設・設備はきつ過ぎない fact5: この棋士は例外無くない fact6: もしもこの棋士は還魂しないとすると「「それはきつ過ぎるということはなくてかつ例外無くない」ということは事実だ」ということは嘘だ ; $hypothesis$ = この棋士は還魂する ; $proof$ = 
void -> assump1: 以下のように仮定する。この棋士は還魂しない; fact6 & assump1 -> int1: 「この棋士はきつ過ぎなくてかつ例外無くない」ということは成り立たない; fact5 & fact1 -> int2: この棋士はきつ過ぎないしそれに例外無いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この棋士はきつ過ぎない
事実2: もし「あるものは還魂するししかもぼろい」ということは成り立たないとすれば還魂しない
事実3: もし「何らかの物は与し易いしそれは税理士法である」ということは成り立たないならば与し易くない
事実4: その学校施設・設備はきつ過ぎない
事実5: この棋士は例外無くない
事実6: もしもこの棋士は還魂しないとすると「「それはきつ過ぎるということはなくてかつ例外無くない」ということは事実だ」ということは嘘だ

仮説: この棋士は還魂する
1. 仮定1: 以下のように仮定する。この棋士は還魂しない
2. 事実6と仮定1から、推論1: "「この棋士はきつ過ぎなくてかつ例外無くない」ということは成り立たない"が導かれる
3. 事実5と事実1から、推論2: "この棋士はきつ過ぎないしそれに例外無いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

よって、仮説が証明されました。