「あのハディースは醸し出さない」ということは真実だ
fact1: 区別し易いものは厚い fact2: その串良里が部屋名でないとすればあのシークレットは部屋名だ fact3: 仮に何かは厚いし醸し出すならばあのシークレットは部屋名でない fact4: 厚い物は区別し易い fact5: あのハディースは早し fact6: もしその串良里が憎くないとすればそれは部屋名でない fact7: その串良里は憎くない fact8: あのハディースは区別し易くて早し
fact8 -> int1: あのハディースは区別し易い; fact1 -> int2: もしあのハディースが区別し易いなら厚い; int1 & int2 -> int3: あのハディースは厚い; void -> assump1: 以下のように仮定する。あのハディースは醸し出す; int3 & assump1 -> int4: あのハディースは厚いし加えてそれは醸し出す; int4 -> int5: なんらかのものは厚いし醸し出す; int5 & fact3 -> int6: あのシークレットは部屋名でない; fact6 & fact7 -> int7: その串良里は部屋名でない; int7 & fact2 -> int8: あのシークレットは部屋名である; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
あのシークレットは早しない
fact9 -> int10: 「もし仮にあのシークレットが厚いとしたらあのシークレットは区別し易い」ということは確かである;
$facts$ = fact1: 区別し易いものは厚い fact2: その串良里が部屋名でないとすればあのシークレットは部屋名だ fact3: 仮に何かは厚いし醸し出すならばあのシークレットは部屋名でない fact4: 厚い物は区別し易い fact5: あのハディースは早し fact6: もしその串良里が憎くないとすればそれは部屋名でない fact7: その串良里は憎くない fact8: あのハディースは区別し易くて早し ; $hypothesis$ = 「あのハディースは醸し出さない」ということは真実だ ; $proof$ = 
fact8 -> int1: あのハディースは区別し易い; fact1 -> int2: もしあのハディースが区別し易いなら厚い; int1 & int2 -> int3: あのハディースは厚い; void -> assump1: 以下のように仮定する。あのハディースは醸し出す; int3 & assump1 -> int4: あのハディースは厚いし加えてそれは醸し出す; int4 -> int5: なんらかのものは厚いし醸し出す; int5 & fact3 -> int6: あのシークレットは部屋名でない; fact6 & fact7 -> int7: その串良里は部屋名でない; int7 & fact2 -> int8: あのシークレットは部屋名である; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 区別し易いものは厚い
事実2: その串良里が部屋名でないとすればあのシークレットは部屋名だ
事実3: 仮に何かは厚いし醸し出すならばあのシークレットは部屋名でない
事実4: 厚い物は区別し易い
事実5: あのハディースは早し
事実6: もしその串良里が憎くないとすればそれは部屋名でない
事実7: その串良里は憎くない
事実8: あのハディースは区別し易くて早し

仮説: 「あのハディースは醸し出さない」ということは真実だ
1. 事実8から、推論1: "あのハディースは区別し易い"が導かれる
2. 事実1から、推論2: "もしあのハディースが区別し易いなら厚い"が導かれる
3. 推論1と推論2から、推論3: "あのハディースは厚い"が導かれる
4. 仮定1: 以下のように仮定する。あのハディースは醸し出す
5. 推論3と仮定1から、推論4: "あのハディースは厚いし加えてそれは醸し出す"が導かれる
6. 推論4から、推論5: "なんらかのものは厚いし醸し出す"が導かれる
7. 推論5と事実3から、推論6: "あのシークレットは部屋名でない"が導かれる
8. 事実6と事実7から、推論7: "その串良里は部屋名でない"が導かれる
9. 推論7と事実2から、推論8: "あのシークレットは部屋名である"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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