あの洋式便器はすばしっこい
fact1: この試合開始は選択され易い fact2: 「なにかは逆説であるがすばしっこいということはない」ということは偽だとしたらそれは選択され易くない fact3: この労働科学研究所報告は選択され易い fact4: 「あの給与規程は精神発達だ」ということは事実だ fact5: もし「ある物はシャンパングラスであるけどそれは合併し易くない」ということは間違っていれば逆説でない fact6: もし「あの合計値は肺合併症であるけど掃除し易くない」ということは成り立つということはないとすれば八雲でない fact7: 「あの洋式便器は北陸道諸国だ」ということは成り立つ fact8: 精神発達はすばしっこい fact9: 精神発達は逆説でないか償えないかあるいは両方である fact10: もしなにがしかのものは逆説でないとすると精神発達だ fact11: もし何らかのものはシャンパングラスでないならばそれは逆説でない fact12: 「「図参照だということはないし介しない」ということは成り立たない」物はある fact13: もしも「この先行文献は待ち遠しい一方で言い替えない」ということは間違っているなら「この七日条は待ち遠しくない」ということは真実である fact14: この労働科学研究所報告はイメージ化する fact15: もしもこの労働科学研究所報告が逆説でないとすればあの洋式便器は逆説である fact16: 仮にこの先行文献は図参照であるならば分宿する fact17: もし仮にこの労働科学研究所報告は選択され易いとすると「あの洋式便器はシャンパングラスであるけれど合併し易くない」ということは成り立たない fact18: もしもこの七日条が待ち遠しくないとすればあの労働科学研究所報告は精神発達だけれど運転しない fact19: もしもあの洋式便器はシャンパングラスでないとすれば「それは逆説であるということはない」ということは事実である fact20: 仮に「この労働科学研究所報告は逆説である一方で選択され易いということはない」ということは成り立たないとしたらそれはすばしっこくない fact21: もしもこの先行文献は分宿するとすれば「待ち遠しいがしかし言い替えない」ということは成り立たない
fact17 & fact3 -> int1: 「あの洋式便器はシャンパングラスである一方で合併し易くない」ということは成り立たない; fact5 -> int2: もし「あの洋式便器はシャンパングラスであるけれど合併し易くない」ということは確かでないとすると逆説でない; int1 & int2 -> int3: あの洋式便器は逆説でない; fact10 -> int4: もしもあの洋式便器は逆説であるということはないとすると「それは精神発達だ」ということは成り立つ; int3 & int4 -> int5: あの洋式便器は精神発達である; fact8 -> int6: 仮にあの洋式便器は精神発達であるならすばしっこい; int5 & int6 -> hypothesis;
あの洋式便器はすばしっこくない
fact25 -> int7: もしもこの労働科学研究所報告が精神発達だとしたらそれは逆説でないかまたは償えないかもしくは両方ともである;
$facts$ = fact1: この試合開始は選択され易い fact2: 「なにかは逆説であるがすばしっこいということはない」ということは偽だとしたらそれは選択され易くない fact3: この労働科学研究所報告は選択され易い fact4: 「あの給与規程は精神発達だ」ということは事実だ fact5: もし「ある物はシャンパングラスであるけどそれは合併し易くない」ということは間違っていれば逆説でない fact6: もし「あの合計値は肺合併症であるけど掃除し易くない」ということは成り立つということはないとすれば八雲でない fact7: 「あの洋式便器は北陸道諸国だ」ということは成り立つ fact8: 精神発達はすばしっこい fact9: 精神発達は逆説でないか償えないかあるいは両方である fact10: もしなにがしかのものは逆説でないとすると精神発達だ fact11: もし何らかのものはシャンパングラスでないならばそれは逆説でない fact12: 「「図参照だということはないし介しない」ということは成り立たない」物はある fact13: もしも「この先行文献は待ち遠しい一方で言い替えない」ということは間違っているなら「この七日条は待ち遠しくない」ということは真実である fact14: この労働科学研究所報告はイメージ化する fact15: もしもこの労働科学研究所報告が逆説でないとすればあの洋式便器は逆説である fact16: 仮にこの先行文献は図参照であるならば分宿する fact17: もし仮にこの労働科学研究所報告は選択され易いとすると「あの洋式便器はシャンパングラスであるけれど合併し易くない」ということは成り立たない fact18: もしもこの七日条が待ち遠しくないとすればあの労働科学研究所報告は精神発達だけれど運転しない fact19: もしもあの洋式便器はシャンパングラスでないとすれば「それは逆説であるということはない」ということは事実である fact20: 仮に「この労働科学研究所報告は逆説である一方で選択され易いということはない」ということは成り立たないとしたらそれはすばしっこくない fact21: もしもこの先行文献は分宿するとすれば「待ち遠しいがしかし言い替えない」ということは成り立たない ; $hypothesis$ = あの洋式便器はすばしっこい ; $proof$ = 
fact17 & fact3 -> int1: 「あの洋式便器はシャンパングラスである一方で合併し易くない」ということは成り立たない; fact5 -> int2: もし「あの洋式便器はシャンパングラスであるけれど合併し易くない」ということは確かでないとすると逆説でない; int1 & int2 -> int3: あの洋式便器は逆説でない; fact10 -> int4: もしもあの洋式便器は逆説であるということはないとすると「それは精神発達だ」ということは成り立つ; int3 & int4 -> int5: あの洋式便器は精神発達である; fact8 -> int6: 仮にあの洋式便器は精神発達であるならすばしっこい; int5 & int6 -> hypothesis; __PROVED__
事実1: この試合開始は選択され易い
事実2: 「なにかは逆説であるがすばしっこいということはない」ということは偽だとしたらそれは選択され易くない
事実3: この労働科学研究所報告は選択され易い
事実4: 「あの給与規程は精神発達だ」ということは事実だ
事実5: もし「ある物はシャンパングラスであるけどそれは合併し易くない」ということは間違っていれば逆説でない
事実6: もし「あの合計値は肺合併症であるけど掃除し易くない」ということは成り立つということはないとすれば八雲でない
事実7: 「あの洋式便器は北陸道諸国だ」ということは成り立つ
事実8: 精神発達はすばしっこい
事実9: 精神発達は逆説でないか償えないかあるいは両方である
事実10: もしなにがしかのものは逆説でないとすると精神発達だ
事実11: もし何らかのものはシャンパングラスでないならばそれは逆説でない
事実12: 「「図参照だということはないし介しない」ということは成り立たない」物はある
事実13: もしも「この先行文献は待ち遠しい一方で言い替えない」ということは間違っているなら「この七日条は待ち遠しくない」ということは真実である
事実14: この労働科学研究所報告はイメージ化する
事実15: もしもこの労働科学研究所報告が逆説でないとすればあの洋式便器は逆説である
事実16: 仮にこの先行文献は図参照であるならば分宿する
事実17: もし仮にこの労働科学研究所報告は選択され易いとすると「あの洋式便器はシャンパングラスであるけれど合併し易くない」ということは成り立たない
事実18: もしもこの七日条が待ち遠しくないとすればあの労働科学研究所報告は精神発達だけれど運転しない
事実19: もしもあの洋式便器はシャンパングラスでないとすれば「それは逆説であるということはない」ということは事実である
事実20: 仮に「この労働科学研究所報告は逆説である一方で選択され易いということはない」ということは成り立たないとしたらそれはすばしっこくない
事実21: もしもこの先行文献は分宿するとすれば「待ち遠しいがしかし言い替えない」ということは成り立たない

仮説: あの洋式便器はすばしっこい
1. 事実17と事実3から、推論1: "「あの洋式便器はシャンパングラスである一方で合併し易くない」ということは成り立たない"が導かれる
2. 事実5から、推論2: "もし「あの洋式便器はシャンパングラスであるけれど合併し易くない」ということは確かでないとすると逆説でない"が導かれる
3. 推論1と推論2から、推論3: "あの洋式便器は逆説でない"が導かれる
4. 事実10から、推論4: "もしもあの洋式便器は逆説であるということはないとすると「それは精神発達だ」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "あの洋式便器は精神発達である"が導かれる
6. 事実8から、推論6: "仮にあの洋式便器は精神発達であるならすばしっこい"が導かれる
7. 推論5と推論6から、仮説が導かれる

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