もし「そのアイドル歌手は二百四十六項だ」ということは真実だとするとその二百五十人は由々しくないしシェアーしない
fact1: そのアイドル歌手は読み始めないし運用しない fact2: そのアイドル歌手は自動返信しないし右近一行でない fact3: その終戦間際は自動返信しなくてそれにそれは右近一行でない fact4: 何らかのものが囀るけどそれは自動返信しないとすれば「シェアーしない」ということは誤りでない fact5: そのアイドル歌手が自動返信するしそれが二百四十六項だとしたらその二百五十人は生食しない fact6: その高脂肪食は由々しい fact7: もしも由々しい物が生食しないとしたらシェアーしない fact8: この権現後遺跡は囀る fact9: その既存は色目でなくてシェアーするということはない fact10: 「その二百五十人は自動返信しない」ということは事実だ fact11: 仮にその二百五十人は由々しいが二百四十六項でないとするとそれは囀らない fact12: その二百五十人は囀る fact13: 仮にそのアイドル歌手が二百四十六項だしそれが生食するとするとその二百五十人は由々しくない fact14: そのアイドル歌手は生食する fact15: その二百五十人は乗り始める fact16: あの予測方式は囀る fact17: この陰謀説が正法眼蔵啓迪だしまたそれは内在化する fact18: あるものは囀る一方で二百四十六項でないとしたら自動返信しない fact19: そのアイドル歌手は士農工商で取得する fact20: そのアイドル歌手は二百四十六項だがしかしシェアーしない fact21: もしもその二百五十人は自動返信するが生食しないとすればシェアーするということはない fact22: そのアイドル歌手は由々しくない fact23: そのアイドル歌手は囀る fact24: その二百五十人は連続使用であるしそれは取り扱い易い
void -> assump1: 以下のように仮定する。そのアイドル歌手は二百四十六項だ; assump1 & fact14 -> int1: そのアイドル歌手は二百四十六項であるしさらにそれは生食する; int1 & fact13 -> int2: その二百五十人は由々しくない; fact4 -> int3: もしその二百五十人が囀る一方で自動返信しないならばそれはシェアーしない; fact10 & fact12 -> int4: その二百五十人は囀るけど自動返信しない; int3 & int4 -> int5: その二百五十人はシェアーしない; int2 & int5 -> int6: その二百五十人は由々しくないしその上シェアーするということはない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: そのアイドル歌手は読み始めないし運用しない fact2: そのアイドル歌手は自動返信しないし右近一行でない fact3: その終戦間際は自動返信しなくてそれにそれは右近一行でない fact4: 何らかのものが囀るけどそれは自動返信しないとすれば「シェアーしない」ということは誤りでない fact5: そのアイドル歌手が自動返信するしそれが二百四十六項だとしたらその二百五十人は生食しない fact6: その高脂肪食は由々しい fact7: もしも由々しい物が生食しないとしたらシェアーしない fact8: この権現後遺跡は囀る fact9: その既存は色目でなくてシェアーするということはない fact10: 「その二百五十人は自動返信しない」ということは事実だ fact11: 仮にその二百五十人は由々しいが二百四十六項でないとするとそれは囀らない fact12: その二百五十人は囀る fact13: 仮にそのアイドル歌手が二百四十六項だしそれが生食するとするとその二百五十人は由々しくない fact14: そのアイドル歌手は生食する fact15: その二百五十人は乗り始める fact16: あの予測方式は囀る fact17: この陰謀説が正法眼蔵啓迪だしまたそれは内在化する fact18: あるものは囀る一方で二百四十六項でないとしたら自動返信しない fact19: そのアイドル歌手は士農工商で取得する fact20: そのアイドル歌手は二百四十六項だがしかしシェアーしない fact21: もしもその二百五十人は自動返信するが生食しないとすればシェアーするということはない fact22: そのアイドル歌手は由々しくない fact23: そのアイドル歌手は囀る fact24: その二百五十人は連続使用であるしそれは取り扱い易い ; $hypothesis$ = もし「そのアイドル歌手は二百四十六項だ」ということは真実だとするとその二百五十人は由々しくないしシェアーしない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのアイドル歌手は二百四十六項だ; assump1 & fact14 -> int1: そのアイドル歌手は二百四十六項であるしさらにそれは生食する; int1 & fact13 -> int2: その二百五十人は由々しくない; fact4 -> int3: もしその二百五十人が囀る一方で自動返信しないならばそれはシェアーしない; fact10 & fact12 -> int4: その二百五十人は囀るけど自動返信しない; int3 & int4 -> int5: その二百五十人はシェアーしない; int2 & int5 -> int6: その二百五十人は由々しくないしその上シェアーするということはない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: そのアイドル歌手は読み始めないし運用しない
事実2: そのアイドル歌手は自動返信しないし右近一行でない
事実3: その終戦間際は自動返信しなくてそれにそれは右近一行でない
事実4: 何らかのものが囀るけどそれは自動返信しないとすれば「シェアーしない」ということは誤りでない
事実5: そのアイドル歌手が自動返信するしそれが二百四十六項だとしたらその二百五十人は生食しない
事実6: その高脂肪食は由々しい
事実7: もしも由々しい物が生食しないとしたらシェアーしない
事実8: この権現後遺跡は囀る
事実9: その既存は色目でなくてシェアーするということはない
事実10: 「その二百五十人は自動返信しない」ということは事実だ
事実11: 仮にその二百五十人は由々しいが二百四十六項でないとするとそれは囀らない
事実12: その二百五十人は囀る
事実13: 仮にそのアイドル歌手が二百四十六項だしそれが生食するとするとその二百五十人は由々しくない
事実14: そのアイドル歌手は生食する
事実15: その二百五十人は乗り始める
事実16: あの予測方式は囀る
事実17: この陰謀説が正法眼蔵啓迪だしまたそれは内在化する
事実18: あるものは囀る一方で二百四十六項でないとしたら自動返信しない
事実19: そのアイドル歌手は士農工商で取得する
事実20: そのアイドル歌手は二百四十六項だがしかしシェアーしない
事実21: もしもその二百五十人は自動返信するが生食しないとすればシェアーするということはない
事実22: そのアイドル歌手は由々しくない
事実23: そのアイドル歌手は囀る
事実24: その二百五十人は連続使用であるしそれは取り扱い易い

仮説: もし「そのアイドル歌手は二百四十六項だ」ということは真実だとするとその二百五十人は由々しくないしシェアーしない
1. 仮定1: 以下のように仮定する。そのアイドル歌手は二百四十六項だ
2. 仮定1と事実14から、推論1: "そのアイドル歌手は二百四十六項であるしさらにそれは生食する"が導かれる
3. 推論1と事実13から、推論2: "その二百五十人は由々しくない"が導かれる
4. 事実4から、推論3: "もしその二百五十人が囀る一方で自動返信しないならばそれはシェアーしない"が導かれる
5. 事実10と事実12から、推論4: "その二百五十人は囀るけど自動返信しない"が導かれる
6. 推論3と推論4から、推論5: "その二百五十人はシェアーしない"が導かれる
7. 推論2と推論5から、推論6: "その二百五十人は由々しくないしその上シェアーするということはない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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