この海賊共は熱っぽくない
fact1: もし仮に「この海賊共は菜園でない一方でそれは寂しさである」ということは正しくないとするとこの石屑は禍々しい fact2: もし仮にこの海賊共が熱っぽいならそれは持田香織セレクトでないしさらに避け難くない fact3: 「この一徹は禍々しい」ということは正しい fact4: この海賊共は小煩くなくておまけにそれは避け難くない fact5: この海賊共は混ぜ合わさない fact6: もし「あのアンプは寂しさであるし発生機序だ」ということは事実と異なるなら寂しさだということはない fact7: この石屑は眠たい fact8: この全体主義が鯱張らないしさらにそれは書しない fact9: もしもこの海賊共が持田香織セレクトだということはないしまたそれが避け難くないとするとそれは発生機序だ fact10: もしその縁編みは確認するとしたら「鳴けなくて更にそれは避け難い」ということは間違っている fact11: この青緑色は恥毛だ fact12: この石屑は持田香織セレクトでない fact13: もし「この石屑は寂しさでないけど熱っぽい」ということは誤りだとしたらこの海賊共は禍々しい fact14: この海賊共は福祉施策でない fact15: もし仮にこの海賊共は発生機序であるとすると「菜園でないが寂しさだ」ということは成り立たない fact16: この海賊共は五世紀代だ fact17: 何らかのものは恥毛だとすれば「この石屑は禍々しいけれど寂しさでない」ということは成り立たない fact18: もしあの機影は貫けるとすれば「それは注意深くなくて菜園である」ということは嘘だ fact19: この石屑は禍々しいということはない fact20: 仮にこの海賊共が寂しさでないとするとこの石屑は熱っぽい fact21: この石屑は発生機序だ
void -> assump1: 以下のように仮定する。この海賊共は熱っぽい; fact2 & assump1 -> int1: この海賊共は持田香織セレクトでないしその上避け難くない; int1 & fact9 -> int2: この海賊共は発生機序だ; int2 & fact15 -> int3: 「この海賊共は菜園でない一方で寂しさだ」ということは成り立たない; int3 & fact1 -> int4: この石屑は禍々しい; int4 & fact19 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あのアンプは寂しさでない
$facts$ = fact1: もし仮に「この海賊共は菜園でない一方でそれは寂しさである」ということは正しくないとするとこの石屑は禍々しい fact2: もし仮にこの海賊共が熱っぽいならそれは持田香織セレクトでないしさらに避け難くない fact3: 「この一徹は禍々しい」ということは正しい fact4: この海賊共は小煩くなくておまけにそれは避け難くない fact5: この海賊共は混ぜ合わさない fact6: もし「あのアンプは寂しさであるし発生機序だ」ということは事実と異なるなら寂しさだということはない fact7: この石屑は眠たい fact8: この全体主義が鯱張らないしさらにそれは書しない fact9: もしもこの海賊共が持田香織セレクトだということはないしまたそれが避け難くないとするとそれは発生機序だ fact10: もしその縁編みは確認するとしたら「鳴けなくて更にそれは避け難い」ということは間違っている fact11: この青緑色は恥毛だ fact12: この石屑は持田香織セレクトでない fact13: もし「この石屑は寂しさでないけど熱っぽい」ということは誤りだとしたらこの海賊共は禍々しい fact14: この海賊共は福祉施策でない fact15: もし仮にこの海賊共は発生機序であるとすると「菜園でないが寂しさだ」ということは成り立たない fact16: この海賊共は五世紀代だ fact17: 何らかのものは恥毛だとすれば「この石屑は禍々しいけれど寂しさでない」ということは成り立たない fact18: もしあの機影は貫けるとすれば「それは注意深くなくて菜園である」ということは嘘だ fact19: この石屑は禍々しいということはない fact20: 仮にこの海賊共が寂しさでないとするとこの石屑は熱っぽい fact21: この石屑は発生機序だ ; $hypothesis$ = この海賊共は熱っぽくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この海賊共は熱っぽい; fact2 & assump1 -> int1: この海賊共は持田香織セレクトでないしその上避け難くない; int1 & fact9 -> int2: この海賊共は発生機序だ; int2 & fact15 -> int3: 「この海賊共は菜園でない一方で寂しさだ」ということは成り立たない; int3 & fact1 -> int4: この石屑は禍々しい; int4 & fact19 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮に「この海賊共は菜園でない一方でそれは寂しさである」ということは正しくないとするとこの石屑は禍々しい
事実2: もし仮にこの海賊共が熱っぽいならそれは持田香織セレクトでないしさらに避け難くない
事実3: 「この一徹は禍々しい」ということは正しい
事実4: この海賊共は小煩くなくておまけにそれは避け難くない
事実5: この海賊共は混ぜ合わさない
事実6: もし「あのアンプは寂しさであるし発生機序だ」ということは事実と異なるなら寂しさだということはない
事実7: この石屑は眠たい
事実8: この全体主義が鯱張らないしさらにそれは書しない
事実9: もしもこの海賊共が持田香織セレクトだということはないしまたそれが避け難くないとするとそれは発生機序だ
事実10: もしその縁編みは確認するとしたら「鳴けなくて更にそれは避け難い」ということは間違っている
事実11: この青緑色は恥毛だ
事実12: この石屑は持田香織セレクトでない
事実13: もし「この石屑は寂しさでないけど熱っぽい」ということは誤りだとしたらこの海賊共は禍々しい
事実14: この海賊共は福祉施策でない
事実15: もし仮にこの海賊共は発生機序であるとすると「菜園でないが寂しさだ」ということは成り立たない
事実16: この海賊共は五世紀代だ
事実17: 何らかのものは恥毛だとすれば「この石屑は禍々しいけれど寂しさでない」ということは成り立たない
事実18: もしあの機影は貫けるとすれば「それは注意深くなくて菜園である」ということは嘘だ
事実19: この石屑は禍々しいということはない
事実20: 仮にこの海賊共が寂しさでないとするとこの石屑は熱っぽい
事実21: この石屑は発生機序だ

仮説: この海賊共は熱っぽくない
1. 仮定1: 以下のように仮定する。この海賊共は熱っぽい
2. 事実2と仮定1から、推論1: "この海賊共は持田香織セレクトでないしその上避け難くない"が導かれる
3. 推論1と事実9から、推論2: "この海賊共は発生機序だ"が導かれる
4. 推論2と事実15から、推論3: "「この海賊共は菜園でない一方で寂しさだ」ということは成り立たない"が導かれる
5. 推論3と事実1から、推論4: "この石屑は禍々しい"が導かれる
6. 推論4と事実19から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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