あの歴史問題は受領しない
fact1: 「あの第一目的は何気無くないしまた歌舞伎っぽくない」ということは誤りであるとしたらあの歴史問題は美しない fact2: もしもこの鳴り物入りが遣り易いとすればこの換気口は遣り易くない fact3: もしもこの文化活動が右サイドでないとするとこの鳴り物入りは遣り易いかまたは調和し難いか両方だ fact4: 「あの第一目的は何気無くなくてしかも歌舞伎っぽくない」ということは成り立たない fact5: 「歌舞伎っぽいということはないものは受領しない」ということは真実である fact6: もしとある物は受領するとすると「ばら売りする」ということは間違いでない fact7: もし仮にこの鳴り物入りは調和し難いとしたら「この換気口は遣り易くない」ということは成り立つ fact8: 仮に何かはばら売りするとすればそれは歌舞伎っぽい fact9: この五月以降がやくざっぽいとするとそれは百姓らしい fact10: もし「あるものはラッピングするということはないけれど口だ」ということは誤っていれば右サイドでない fact11: あの第一目的が何気無いとすればあの歴史問題は美しない fact12: もし仮に「幅広くない」物はあれば「この文化活動はラッピングしないけど口である」ということは成り立たない fact13: 「この換気口は遣り易いということはない」ということは成り立つなら「それは木目細かくなくてしかも環境会議でない」ということは間違っている fact14: あの歴史問題は届け出書でない fact15: 仮にこの五月以降は百姓らしいなら「あの相続税がワンピースだけどそれは決め難いということはない」ということは事実と異なる fact16: あの中咽頭が歌舞伎っぽいならあの第一目的はばら売りしない一方で何気無い fact17: もしある物がやくざっぽいかあるいは栄養摂取であるか両方ともであるとすればこの五月以降はやくざっぽい fact18: もしなんらかのものが焼き上がらないとすると入れ為さるしそれに歌舞伎っぽい fact19: 「あの第一目的は美しないしかつ歌舞伎っぽいということはない」ということは誤っている fact20: もし「「ワンピースであるが決め難くない」ということは成り立たない」ものはあるなら「その迷惑千万は幅広くない」ということは成り立つ fact21: 何らかのものはやくざっぽいかあるいは栄養摂取であるかもしくは両方だ fact22: 仮にあの第一目的が受領するならあの歴史問題は受領する fact23: 「あの第一目的は何気無い一方で歌舞伎っぽくない」ということは成り立つということはない fact24: 美しということはない物はばら売りしない
fact6 -> int1: もしもあの歴史問題が受領するならそれはばら売りする; void -> assump1: 以下のように仮定する。あの歴史問題は受領する; int1 & assump1 -> int2: 「あの歴史問題はばら売りする」ということは誤りでない; fact24 -> int3: 仮に「あの歴史問題は美しない」ということは真実ならばそれはばら売りしない; fact1 & fact4 -> int4: あの歴史問題は美しない; int3 & int4 -> int5: あの歴史問題はばら売りしない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの歴史問題は受領する
fact38 -> int7: もしあの中咽頭が焼き上がらないならばそれは入れ為さるしかつ歌舞伎っぽい; fact29 -> int8: 仮に「この文化活動はラッピングしない一方で口である」ということは成り立たないとしたら右サイドでない; fact32 & fact34 -> int9: この五月以降はやくざっぽい; fact26 & int9 -> int10: この五月以降は百姓らしい; fact33 & int10 -> int11: 「あの相続税はワンピースだがしかしそれは決め難いということはない」ということは事実と異なる; int11 -> int12: 「「ワンピースで決め難くない」ということは誤りな」物はある; int12 & fact30 -> int13: その迷惑千万は幅広くない; int13 -> int14: 「「幅広くない」物はある」ということは確かである; int14 & fact35 -> int15: 「この文化活動はラッピングしないけれど口である」ということは偽である; int8 & int15 -> int16: この文化活動は右サイドでない; fact36 & int16 -> int17: この鳴り物入りは遣り易いか調和し難いかもしくはどちらもだ; int17 & fact27 & fact28 -> int18: この換気口は遣り易くない; fact25 & int18 -> int19: 「この換気口は木目細かくないしそれに環境会議であるということはない」ということは事実と異なる; int19 -> int20: 「「木目細かくなくて環境会議であるということはない」ということは成り立つということはない」ものはある;
$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$ = 
fact6 -> int1: もしもあの歴史問題が受領するならそれはばら売りする; void -> assump1: 以下のように仮定する。あの歴史問題は受領する; int1 & assump1 -> int2: 「あの歴史問題はばら売りする」ということは誤りでない; fact24 -> int3: 仮に「あの歴史問題は美しない」ということは真実ならばそれはばら売りしない; fact1 & fact4 -> 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. 事実6から、推論1: "もしもあの歴史問題が受領するならそれはばら売りする"が導かれる
2. 仮定1: 以下のように仮定する。あの歴史問題は受領する
3. 推論1と仮定1から、推論2: "「あの歴史問題はばら売りする」ということは誤りでない"が導かれる
4. 事実24から、推論3: "仮に「あの歴史問題は美しない」ということは真実ならばそれはばら売りしない"が導かれる
5. 事実1と事実4から、推論4: "あの歴史問題は美しない"が導かれる
6. 推論3と推論4から、推論5: "あの歴史問題はばら売りしない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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