この幻冬舎は霊性でない
fact1: 何らかのものは危うしないし満ち足りるということはないとしたら小難しいということはない fact2: もしもこのカラー画像が迷い難いとすればあの幻冬舎は近寄り難い fact3: もしもこのカラー画像が近寄り難いとしたらこの幻冬舎は迷い難い fact4: このカラー画像は喜び有らない fact5: もし仮に「このカラー画像は懐かしいということはないけど狂い回る」ということは誤りならそれは根気強くない fact6: この規定通りは近寄り難くない fact7: 「このカラー画像はペーパーレス化しない」ということは成り立つ fact8: 「このカラー画像は懐かしくないけれど狂い回る」ということは間違っている fact9: もし仮に何らかの物が迷い難くないなら近寄り難いししかも霊性である fact10: もし「このカラー画像は霊性でない一方で迷い難い」ということは確かでないとすればあの幻冬舎は霊性だ fact11: 「この幻冬舎が霊性ならばこの幻冬舎は近寄り難くない」ということは正しい fact12: もしこのカラー画像は小難しくないとすると「この幻冬舎は有力視する一方で転じない」ということは成り立たない fact13: このカラー画像は迷い難い fact14: 根気強くないものは危うしないし満ち足りるということはない fact15: この幻冬舎は狡っ辛くない fact16: 「その教科課程は迷い難い」ということは真実である
void -> assump1: 以下のように仮定する。この幻冬舎は霊性である; fact11 & assump1 -> int1: この幻冬舎は近寄り難くない; fact2 & fact13 -> int2: この幻冬舎は近寄り難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact11 & assump1 -> int1: ¬{B}{a}; fact2 & fact13 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この幻冬舎は霊性である
$facts$ = fact1: 何らかのものは危うしないし満ち足りるということはないとしたら小難しいということはない fact2: もしもこのカラー画像が迷い難いとすればあの幻冬舎は近寄り難い fact3: もしもこのカラー画像が近寄り難いとしたらこの幻冬舎は迷い難い fact4: このカラー画像は喜び有らない fact5: もし仮に「このカラー画像は懐かしいということはないけど狂い回る」ということは誤りならそれは根気強くない fact6: この規定通りは近寄り難くない fact7: 「このカラー画像はペーパーレス化しない」ということは成り立つ fact8: 「このカラー画像は懐かしくないけれど狂い回る」ということは間違っている fact9: もし仮に何らかの物が迷い難くないなら近寄り難いししかも霊性である fact10: もし「このカラー画像は霊性でない一方で迷い難い」ということは確かでないとすればあの幻冬舎は霊性だ fact11: 「この幻冬舎が霊性ならばこの幻冬舎は近寄り難くない」ということは正しい fact12: もしこのカラー画像は小難しくないとすると「この幻冬舎は有力視する一方で転じない」ということは成り立たない fact13: このカラー画像は迷い難い fact14: 根気強くないものは危うしないし満ち足りるということはない fact15: この幻冬舎は狡っ辛くない fact16: 「その教科課程は迷い難い」ということは真実である ; $hypothesis$ = この幻冬舎は霊性でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この幻冬舎は霊性である; fact11 & assump1 -> int1: この幻冬舎は近寄り難くない; fact2 & fact13 -> int2: この幻冬舎は近寄り難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 何らかのものは危うしないし満ち足りるということはないとしたら小難しいということはない
事実2: もしもこのカラー画像が迷い難いとすればあの幻冬舎は近寄り難い
事実3: もしもこのカラー画像が近寄り難いとしたらこの幻冬舎は迷い難い
事実4: このカラー画像は喜び有らない
事実5: もし仮に「このカラー画像は懐かしいということはないけど狂い回る」ということは誤りならそれは根気強くない
事実6: この規定通りは近寄り難くない
事実7: 「このカラー画像はペーパーレス化しない」ということは成り立つ
事実8: 「このカラー画像は懐かしくないけれど狂い回る」ということは間違っている
事実9: もし仮に何らかの物が迷い難くないなら近寄り難いししかも霊性である
事実10: もし「このカラー画像は霊性でない一方で迷い難い」ということは確かでないとすればあの幻冬舎は霊性だ
事実11: 「この幻冬舎が霊性ならばこの幻冬舎は近寄り難くない」ということは正しい
事実12: もしこのカラー画像は小難しくないとすると「この幻冬舎は有力視する一方で転じない」ということは成り立たない
事実13: このカラー画像は迷い難い
事実14: 根気強くないものは危うしないし満ち足りるということはない
事実15: この幻冬舎は狡っ辛くない
事実16: 「その教科課程は迷い難い」ということは真実である

仮説: この幻冬舎は霊性でない
1. 仮定1: 以下のように仮定する。この幻冬舎は霊性である
2. 事実11と仮定1から、推論1: "この幻冬舎は近寄り難くない"が導かれる
3. 事実2と事実13から、推論2: "この幻冬舎は近寄り難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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