その溶岩流は女仙である
fact1: もしもあの誕生日以降は女仙であるならそれは手書きする fact2: もし「その溶岩流は寝付けない一方で女仙である」ということは成り立たないとしたらあの誕生日以降は送迎する fact3: もし仮に「「溶接しないかあるいは生温いか両方である」ということは正しくない」ものがあるとすればあの誕生日以降は手書きしない fact4: もし仮に何らかの物が厭わしいならそれは凄まじい fact5: あの誕生日以降はメンバー達でない fact6: 凄まじい物は手書きする fact7: 「「溶接しないかあるいは生温いかまたは両方ともである」ということは誤りな」物はある fact8: 「あの誕生日以降は寝付けないが凄まじい」ということは誤っている fact9: 「あの誕生日以降は送迎しないけれど女仙だ」ということは事実と異なるとしたらその溶岩流は厭わしい fact10: 厭わしくない物は女仙だということはない fact11: もしもその溶岩流は溶接するか手書きしないとすれば凄まじい fact12: 生温い物は溶接するかまたは手書きするということはない fact13: もしとあるものが送迎するなら厭わしい
void -> assump1: 以下のように仮定する。「その溶岩流は寝付けるということはないがそれは女仙だ」ということは事実でない; fact2 & assump1 -> int1: あの誕生日以降は送迎する; fact13 -> int2: あの誕生日以降が送迎すれば厭わしい; int1 & int2 -> int3: あの誕生日以降は厭わしい; fact4 -> int4: 仮にあの誕生日以降が厭わしいとするとそれは凄まじい; int3 & int4 -> int5: あの誕生日以降は凄まじい; fact6 -> int6: もしもあの誕生日以降は凄まじいとしたら「手書きする」ということは真実である; int5 & int6 -> int7: あの誕生日以降は手書きする; fact3 & fact7 -> int8: あの誕生日以降は手書きするということはない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その溶岩流は寝付けないがしかしそれは女仙だ; int10 -> hypothesis;
「その溶岩流は女仙でない」ということは成り立つ
fact15 -> int11: その溶岩流が厭わしくないならばそれは女仙でない; fact16 -> int12: もしもその溶岩流が生温いなら溶接するかあるいはそれは手書きしないかもしくはどちらもである;
$facts$ = fact1: もしもあの誕生日以降は女仙であるならそれは手書きする fact2: もし「その溶岩流は寝付けない一方で女仙である」ということは成り立たないとしたらあの誕生日以降は送迎する fact3: もし仮に「「溶接しないかあるいは生温いか両方である」ということは正しくない」ものがあるとすればあの誕生日以降は手書きしない fact4: もし仮に何らかの物が厭わしいならそれは凄まじい fact5: あの誕生日以降はメンバー達でない fact6: 凄まじい物は手書きする fact7: 「「溶接しないかあるいは生温いかまたは両方ともである」ということは誤りな」物はある fact8: 「あの誕生日以降は寝付けないが凄まじい」ということは誤っている fact9: 「あの誕生日以降は送迎しないけれど女仙だ」ということは事実と異なるとしたらその溶岩流は厭わしい fact10: 厭わしくない物は女仙だということはない fact11: もしもその溶岩流は溶接するか手書きしないとすれば凄まじい fact12: 生温い物は溶接するかまたは手書きするということはない fact13: もしとあるものが送迎するなら厭わしい ; $hypothesis$ = その溶岩流は女仙である ; $proof$ = 
void -> assump1: 以下のように仮定する。「その溶岩流は寝付けるということはないがそれは女仙だ」ということは事実でない; fact2 & assump1 -> int1: あの誕生日以降は送迎する; fact13 -> int2: あの誕生日以降が送迎すれば厭わしい; int1 & int2 -> int3: あの誕生日以降は厭わしい; fact4 -> int4: 仮にあの誕生日以降が厭わしいとするとそれは凄まじい; int3 & int4 -> int5: あの誕生日以降は凄まじい; fact6 -> int6: もしもあの誕生日以降は凄まじいとしたら「手書きする」ということは真実である; int5 & int6 -> int7: あの誕生日以降は手書きする; fact3 & fact7 -> int8: あの誕生日以降は手書きするということはない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その溶岩流は寝付けないがしかしそれは女仙だ; int10 -> hypothesis; __PROVED__
事実1: もしもあの誕生日以降は女仙であるならそれは手書きする
事実2: もし「その溶岩流は寝付けない一方で女仙である」ということは成り立たないとしたらあの誕生日以降は送迎する
事実3: もし仮に「「溶接しないかあるいは生温いか両方である」ということは正しくない」ものがあるとすればあの誕生日以降は手書きしない
事実4: もし仮に何らかの物が厭わしいならそれは凄まじい
事実5: あの誕生日以降はメンバー達でない
事実6: 凄まじい物は手書きする
事実7: 「「溶接しないかあるいは生温いかまたは両方ともである」ということは誤りな」物はある
事実8: 「あの誕生日以降は寝付けないが凄まじい」ということは誤っている
事実9: 「あの誕生日以降は送迎しないけれど女仙だ」ということは事実と異なるとしたらその溶岩流は厭わしい
事実10: 厭わしくない物は女仙だということはない
事実11: もしもその溶岩流は溶接するか手書きしないとすれば凄まじい
事実12: 生温い物は溶接するかまたは手書きするということはない
事実13: もしとあるものが送迎するなら厭わしい

仮説: その溶岩流は女仙である
1. 仮定1: 以下のように仮定する。「その溶岩流は寝付けるということはないがそれは女仙だ」ということは事実でない
2. 事実2と仮定1から、推論1: "あの誕生日以降は送迎する"が導かれる
3. 事実13から、推論2: "あの誕生日以降が送迎すれば厭わしい"が導かれる
4. 推論1と推論2から、推論3: "あの誕生日以降は厭わしい"が導かれる
5. 事実4から、推論4: "仮にあの誕生日以降が厭わしいとするとそれは凄まじい"が導かれる
6. 推論3と推論4から、推論5: "あの誕生日以降は凄まじい"が導かれる
7. 事実6から、推論6: "もしもあの誕生日以降は凄まじいとしたら「手書きする」ということは真実である"が導かれる
8. 推論5と推論6から、推論7: "あの誕生日以降は手書きする"が導かれる
9. 事実3と事実7から、推論8: "あの誕生日以降は手書きするということはない"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その溶岩流は寝付けないがしかしそれは女仙だ"が導かれる
12. 推論10から、仮説が導かれる

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