このジェラートは鬱陶しい
fact1: 仮に「このアイは瀕するということはないかもしくはそれは勿体無くないかもしくは両方ともだ」ということは間違いであるとすればあの出来合いは英和辞典だ fact2: あの創造物はグループ間でない fact3: 「あの総髪は変身する」ということは事実だ fact4: 「このアイは瀕しないかもしくは勿体無くないかもしくは両方ともだ」ということは間違いだ fact5: もし仮にあの出来合いは清々しくないならば「あの総髪は炎症症状であるかそれは清々しいかあるいは両方だ」ということは事実でない fact6: あの総髪は英和辞典である fact7: ある物が英和辞典だとするとあの出来合いはグループ間でないかもしくは合一しないかあるいはどちらもである fact8: 仮にこのジェラートが清々しいとすればあの総髪は英和辞典だ fact9: 勿体無くない物はある fact10: もし仮に何かは合一しないとすると広言するということはなくて鬱陶しい fact11: もしもあの出来合いがグループ間だとしたら英和辞典でない fact12: 仮に「とある物は合一しないけれどグループ間である」ということは事実でないとすれば清々しくない fact13: 仮に「あの総髪は英和辞典でないが清々しい」ということは成り立たないならグループ間でない fact14: あの総髪は鬱陶しいということはない fact15: もしも「「炎症症状であるかあるいは清々しいかあるいはどちらもである」ということは嘘な」ものがあるとするとこのジェラートは鬱陶しい fact16: 「このジェラートは合一するけれどグループ間でない」ということは誤っているとするとそれは合一しない
void -> assump1: 以下のように仮定する。あの出来合いは合一しないがグループ間である; assump1 -> int1: あの出来合いはグループ間である; int1 & fact11 -> int2: あの出来合いは英和辞典でない; fact1 & fact4 -> int3: 「あの出来合いは英和辞典だ」ということは真実だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの出来合いは合一しないけどグループ間である」ということは事実と異なる; fact12 -> int6: もしも「あの出来合いは合一しないがしかしグループ間である」ということは成り立たないとすれば「それは清々しいということはない」ということは事実である; int5 & int6 -> int7: あの出来合いは清々しいということはない; int7 & fact5 -> int8: 「あの総髪は炎症症状であるかあるいはそれは清々しいか両方ともだ」ということは成り立たない; int8 -> int9: 「「炎症症状であるかあるいは清々しい」ということは誤りである」ものはある; int9 & fact15 -> hypothesis;
このアイは広言しないけど鬱陶しい
fact18 -> int10: このアイが合一するということはないとすると広言するということはないが鬱陶しい;
$facts$ = fact1: 仮に「このアイは瀕するということはないかもしくはそれは勿体無くないかもしくは両方ともだ」ということは間違いであるとすればあの出来合いは英和辞典だ fact2: あの創造物はグループ間でない fact3: 「あの総髪は変身する」ということは事実だ fact4: 「このアイは瀕しないかもしくは勿体無くないかもしくは両方ともだ」ということは間違いだ fact5: もし仮にあの出来合いは清々しくないならば「あの総髪は炎症症状であるかそれは清々しいかあるいは両方だ」ということは事実でない fact6: あの総髪は英和辞典である fact7: ある物が英和辞典だとするとあの出来合いはグループ間でないかもしくは合一しないかあるいはどちらもである fact8: 仮にこのジェラートが清々しいとすればあの総髪は英和辞典だ fact9: 勿体無くない物はある fact10: もし仮に何かは合一しないとすると広言するということはなくて鬱陶しい fact11: もしもあの出来合いがグループ間だとしたら英和辞典でない fact12: 仮に「とある物は合一しないけれどグループ間である」ということは事実でないとすれば清々しくない fact13: 仮に「あの総髪は英和辞典でないが清々しい」ということは成り立たないならグループ間でない fact14: あの総髪は鬱陶しいということはない fact15: もしも「「炎症症状であるかあるいは清々しいかあるいはどちらもである」ということは嘘な」ものがあるとするとこのジェラートは鬱陶しい fact16: 「このジェラートは合一するけれどグループ間でない」ということは誤っているとするとそれは合一しない ; $hypothesis$ = このジェラートは鬱陶しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの出来合いは合一しないがグループ間である; assump1 -> int1: あの出来合いはグループ間である; int1 & fact11 -> int2: あの出来合いは英和辞典でない; fact1 & fact4 -> int3: 「あの出来合いは英和辞典だ」ということは真実だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの出来合いは合一しないけどグループ間である」ということは事実と異なる; fact12 -> int6: もしも「あの出来合いは合一しないがしかしグループ間である」ということは成り立たないとすれば「それは清々しいということはない」ということは事実である; int5 & int6 -> int7: あの出来合いは清々しいということはない; int7 & fact5 -> int8: 「あの総髪は炎症症状であるかあるいはそれは清々しいか両方ともだ」ということは成り立たない; int8 -> int9: 「「炎症症状であるかあるいは清々しい」ということは誤りである」ものはある; int9 & fact15 -> hypothesis; __PROVED__
事実1: 仮に「このアイは瀕するということはないかもしくはそれは勿体無くないかもしくは両方ともだ」ということは間違いであるとすればあの出来合いは英和辞典だ
事実2: あの創造物はグループ間でない
事実3: 「あの総髪は変身する」ということは事実だ
事実4: 「このアイは瀕しないかもしくは勿体無くないかもしくは両方ともだ」ということは間違いだ
事実5: もし仮にあの出来合いは清々しくないならば「あの総髪は炎症症状であるかそれは清々しいかあるいは両方だ」ということは事実でない
事実6: あの総髪は英和辞典である
事実7: ある物が英和辞典だとするとあの出来合いはグループ間でないかもしくは合一しないかあるいはどちらもである
事実8: 仮にこのジェラートが清々しいとすればあの総髪は英和辞典だ
事実9: 勿体無くない物はある
事実10: もし仮に何かは合一しないとすると広言するということはなくて鬱陶しい
事実11: もしもあの出来合いがグループ間だとしたら英和辞典でない
事実12: 仮に「とある物は合一しないけれどグループ間である」ということは事実でないとすれば清々しくない
事実13: 仮に「あの総髪は英和辞典でないが清々しい」ということは成り立たないならグループ間でない
事実14: あの総髪は鬱陶しいということはない
事実15: もしも「「炎症症状であるかあるいは清々しいかあるいはどちらもである」ということは嘘な」ものがあるとするとこのジェラートは鬱陶しい
事実16: 「このジェラートは合一するけれどグループ間でない」ということは誤っているとするとそれは合一しない

仮説: このジェラートは鬱陶しい
1. 仮定1: 以下のように仮定する。あの出来合いは合一しないがグループ間である
2. 仮定1から、推論1: "あの出来合いはグループ間である"が導かれる
3. 推論1と事実11から、推論2: "あの出来合いは英和辞典でない"が導かれる
4. 事実1と事実4から、推論3: "「あの出来合いは英和辞典だ」ということは真実だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの出来合いは合一しないけどグループ間である」ということは事実と異なる"が導かれる
7. 事実12から、推論6: "もしも「あの出来合いは合一しないがしかしグループ間である」ということは成り立たないとすれば「それは清々しいということはない」ということは事実である"が導かれる
8. 推論5と推論6から、推論7: "あの出来合いは清々しいということはない"が導かれる
9. 推論7と事実5から、推論8: "「あの総髪は炎症症状であるかあるいはそれは清々しいか両方ともだ」ということは成り立たない"が導かれる
10. 推論8から、推論9: "「「炎症症状であるかあるいは清々しい」ということは誤りである」ものはある"が導かれる
11. 推論9と事実15から、仮説が導かれる

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