その社会党系は少人数化である
fact1: もしもこのシェアウエアが嫉妬深いならば廃棄物最終処分場である fact2: 仮にその御威光が挨拶するならこのシェアウエアは待ち遠しい fact3: 「このシェアウエアは嫉妬深いししかも騒がしい」ということは誤っている fact4: もしその社会党系が少人数化ならそれは挨拶する fact5: 仮にある物は廃棄物最終処分場であるとすると挨拶する fact6: 仮にこのシェアウエアが挨拶すればその御威光は待ち遠しい fact7: 断定し難い物は少人数化である fact8: その社会党系は騒がしい fact9: 「このシェアウエアは少人数化である」ということは成り立つ fact10: 仮にその社会党系が廃棄物最終処分場であるとすればあのシェアウエアは捩じ向ける fact11: バブル期は巫女舞である fact12: もしもなんらかの物が捩じ向けるならそれは断定し難い fact13: その御威光は多い fact14: もしその御威光が待ち遠しいならばその社会党系は多い fact15: 「「このシェアウエアは嫉妬深いということはないけれど騒がしい」ということは成り立たない」ということは成り立つ fact16: その御威光は廃棄物最終処分場である fact17: その御威光は断定し難い fact18: 仮にその社会党系が挨拶するとすれば捩じ向ける fact19: もし仮に「このシェアウエアは嫉妬深くないがしかし断定し難い」ということは嘘だとするとそれは廃棄物最終処分場である fact20: その御威光が騒がしいならばそれは反映され易い fact21: もしあるものが嫉妬深いとするとそれは多い fact22: もしも「「このシェアウエアは嫉妬深くないけれどそれは騒がしい」ということは誤りである」ということは事実だとすればそれは廃棄物最終処分場だ fact23: 「このシェアウエアは多い」ということは本当だ fact24: もし「その社会党系は多くないがしかし挨拶する」ということは偽ならば騒がしい fact25: もしある物が多いならば捩じ向ける fact26: もしもあるものが合同するとしたらそれは微笑ましい fact27: 「嫉妬深いものは騒がしい」ということは事実と異ならない
fact22 & fact15 -> int1: このシェアウエアは廃棄物最終処分場である; fact5 -> int2: このシェアウエアが廃棄物最終処分場ならそれは挨拶する; int1 & int2 -> int3: このシェアウエアは挨拶する; int3 & fact6 -> int4: その御威光は待ち遠しい; int4 & fact14 -> int5: その社会党系は多い; fact25 -> int6: もしもその社会党系が多いならば捩じ向ける; int5 & int6 -> int7: 「その社会党系は捩じ向ける」ということは成り立つ; fact12 -> int8: もし仮にその社会党系が捩じ向ければ断定し難い; int7 & int8 -> int9: その社会党系は断定し難い; fact7 -> int10: もしその社会党系が断定し難いとすれば少人数化だ; int9 & int10 -> 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: もし「その社会党系は多くないがしかし挨拶する」ということは偽ならば騒がしい fact25: もしある物が多いならば捩じ向ける fact26: もしもあるものが合同するとしたらそれは微笑ましい fact27: 「嫉妬深いものは騒がしい」ということは事実と異ならない ; $hypothesis$ = その社会党系は少人数化である ; $proof$ = 
fact22 & fact15 -> int1: このシェアウエアは廃棄物最終処分場である; fact5 -> int2: このシェアウエアが廃棄物最終処分場ならそれは挨拶する; int1 & int2 -> int3: このシェアウエアは挨拶する; int3 & fact6 -> int4: その御威光は待ち遠しい; int4 & fact14 -> int5: その社会党系は多い; fact25 -> int6: もしもその社会党系が多いならば捩じ向ける; int5 & int6 -> int7: 「その社会党系は捩じ向ける」ということは成り立つ; fact12 -> int8: もし仮にその社会党系が捩じ向ければ断定し難い; int7 & int8 -> int9: その社会党系は断定し難い; fact7 -> int10: もしその社会党系が断定し難いとすれば少人数化だ; int9 & int10 -> 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: もし「その社会党系は多くないがしかし挨拶する」ということは偽ならば騒がしい
事実25: もしある物が多いならば捩じ向ける
事実26: もしもあるものが合同するとしたらそれは微笑ましい
事実27: 「嫉妬深いものは騒がしい」ということは事実と異ならない

仮説: その社会党系は少人数化である
1. 事実22と事実15から、推論1: "このシェアウエアは廃棄物最終処分場である"が導かれる
2. 事実5から、推論2: "このシェアウエアが廃棄物最終処分場ならそれは挨拶する"が導かれる
3. 推論1と推論2から、推論3: "このシェアウエアは挨拶する"が導かれる
4. 推論3と事実6から、推論4: "その御威光は待ち遠しい"が導かれる
5. 推論4と事実14から、推論5: "その社会党系は多い"が導かれる
6. 事実25から、推論6: "もしもその社会党系が多いならば捩じ向ける"が導かれる
7. 推論5と推論6から、推論7: "「その社会党系は捩じ向ける」ということは成り立つ"が導かれる
8. 事実12から、推論8: "もし仮にその社会党系が捩じ向ければ断定し難い"が導かれる
9. 推論7と推論8から、推論9: "その社会党系は断定し難い"が導かれる
10. 事実7から、推論10: "もしその社会党系が断定し難いとすれば少人数化だ"が導かれる
11. 推論9と推論10から、仮説が導かれる

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