「その第二十三章は甘辛いししかも完成する」ということは成り立たない
fact1: 仮にとあるものがいとおしいとすればそれは幼い fact2: 宜し物が大パーティーであるとすればこのルーラー上はいとおしい fact3: あの課税山林所得金額は完成する fact4: その淡水化は選出しない fact5: このルーラー上は幼い fact6: いとおしい物は選出するということはないけど幼い fact7: もし仮にとあるものは選出しないとすると「「大パーティーでおまけにそれはいとおしくない」ということは成り立つ」ということは誤っている fact8: 「その第二十三章は踏み付ける」ということは本当である fact9: 流通性は目撃でない一方で向き合える fact10: 「その第二十三章は娘らしい」ということは正しい fact11: 「和洋中である」ものはある fact12: 仮にこのルーラー上が甘辛いがしかし御詳しくないならあの課税山林所得金額は甘辛くない fact13: もし仮にこのルーラー上がいとおしいなら幼い fact14: あの課税山林所得金額は巻き直さない fact15: 「選出するしおまけに娘らしい」ものはある fact16: あの課税山林所得金額は御詳しいしそれは宜し fact17: 仮になんらかのものが完成するとしたらいとおしいということはなくて更に御詳しい fact18: もし仮に「何かは大パーティーだがしかしいとおしくない」ということは嘘だとすればそれは宜し fact19: なんらかのものがいとおしいし加えて完成するならその第二十三章は選出する fact20: その第二十三章は完成するしかつ娘らしい fact21: あの課税山林所得金額は大パーティーである fact22: 「宜し」ものはある fact23: このルーラー上が選出しないならその第二十三章は甘辛い
fact16 -> int1: あの課税山林所得金額は宜し; int1 & fact21 -> int2: あの課税山林所得金額は宜ししその上大パーティーである; int2 -> int3: なんらかの物は宜しし更に大パーティーである; int3 & fact2 -> int4: このルーラー上はいとおしい; fact6 -> int5: 仮にこのルーラー上がいとおしいならば選出しないけれど幼い; int4 & int5 -> int6: このルーラー上は選出するということはないけどそれは幼い; int6 -> int7: このルーラー上は選出するということはない; int7 & fact23 -> int8: その第二十三章は甘辛い; fact20 -> int9: その第二十三章は完成する; int8 & int9 -> hypothesis;
「「その第二十三章は甘辛くて完成する」ということは誤りだ」ということは正しい
fact25 -> int10: もしも「その淡水化は大パーティーである一方でいとおしくない」ということは間違いであるとすると「それは宜し」ということは正しい; fact27 -> int11: もしも「その淡水化は選出しない」ということは正しいなら「「それは大パーティーだけれどいとおしくない」ということは事実だ」ということは間違っている; int11 & fact26 -> int12: 「その淡水化は大パーティーだ一方でいとおしくない」ということは事実と異なる; int10 & int12 -> int13: その淡水化は宜し; int13 -> int14: 何らかの物は宜し;
$facts$ = fact1: 仮にとあるものがいとおしいとすればそれは幼い fact2: 宜し物が大パーティーであるとすればこのルーラー上はいとおしい fact3: あの課税山林所得金額は完成する fact4: その淡水化は選出しない fact5: このルーラー上は幼い fact6: いとおしい物は選出するということはないけど幼い fact7: もし仮にとあるものは選出しないとすると「「大パーティーでおまけにそれはいとおしくない」ということは成り立つ」ということは誤っている fact8: 「その第二十三章は踏み付ける」ということは本当である fact9: 流通性は目撃でない一方で向き合える fact10: 「その第二十三章は娘らしい」ということは正しい fact11: 「和洋中である」ものはある fact12: 仮にこのルーラー上が甘辛いがしかし御詳しくないならあの課税山林所得金額は甘辛くない fact13: もし仮にこのルーラー上がいとおしいなら幼い fact14: あの課税山林所得金額は巻き直さない fact15: 「選出するしおまけに娘らしい」ものはある fact16: あの課税山林所得金額は御詳しいしそれは宜し fact17: 仮になんらかのものが完成するとしたらいとおしいということはなくて更に御詳しい fact18: もし仮に「何かは大パーティーだがしかしいとおしくない」ということは嘘だとすればそれは宜し fact19: なんらかのものがいとおしいし加えて完成するならその第二十三章は選出する fact20: その第二十三章は完成するしかつ娘らしい fact21: あの課税山林所得金額は大パーティーである fact22: 「宜し」ものはある fact23: このルーラー上が選出しないならその第二十三章は甘辛い ; $hypothesis$ = 「その第二十三章は甘辛いししかも完成する」ということは成り立たない ; $proof$ = 
fact16 -> int1: あの課税山林所得金額は宜し; int1 & fact21 -> int2: あの課税山林所得金額は宜ししその上大パーティーである; int2 -> int3: なんらかの物は宜しし更に大パーティーである; int3 & fact2 -> int4: このルーラー上はいとおしい; fact6 -> int5: 仮にこのルーラー上がいとおしいならば選出しないけれど幼い; int4 & int5 -> int6: このルーラー上は選出するということはないけどそれは幼い; int6 -> int7: このルーラー上は選出するということはない; int7 & fact23 -> int8: その第二十三章は甘辛い; fact20 -> int9: その第二十三章は完成する; int8 & int9 -> hypothesis; __DISPROVED__
事実1: 仮にとあるものがいとおしいとすればそれは幼い
事実2: 宜し物が大パーティーであるとすればこのルーラー上はいとおしい
事実3: あの課税山林所得金額は完成する
事実4: その淡水化は選出しない
事実5: このルーラー上は幼い
事実6: いとおしい物は選出するということはないけど幼い
事実7: もし仮にとあるものは選出しないとすると「「大パーティーでおまけにそれはいとおしくない」ということは成り立つ」ということは誤っている
事実8: 「その第二十三章は踏み付ける」ということは本当である
事実9: 流通性は目撃でない一方で向き合える
事実10: 「その第二十三章は娘らしい」ということは正しい
事実11: 「和洋中である」ものはある
事実12: 仮にこのルーラー上が甘辛いがしかし御詳しくないならあの課税山林所得金額は甘辛くない
事実13: もし仮にこのルーラー上がいとおしいなら幼い
事実14: あの課税山林所得金額は巻き直さない
事実15: 「選出するしおまけに娘らしい」ものはある
事実16: あの課税山林所得金額は御詳しいしそれは宜し
事実17: 仮になんらかのものが完成するとしたらいとおしいということはなくて更に御詳しい
事実18: もし仮に「何かは大パーティーだがしかしいとおしくない」ということは嘘だとすればそれは宜し
事実19: なんらかのものがいとおしいし加えて完成するならその第二十三章は選出する
事実20: その第二十三章は完成するしかつ娘らしい
事実21: あの課税山林所得金額は大パーティーである
事実22: 「宜し」ものはある
事実23: このルーラー上が選出しないならその第二十三章は甘辛い

仮説: 「その第二十三章は甘辛いししかも完成する」ということは成り立たない
1. 事実16から、推論1: "あの課税山林所得金額は宜し"が導かれる
2. 推論1と事実21から、推論2: "あの課税山林所得金額は宜ししその上大パーティーである"が導かれる
3. 推論2から、推論3: "なんらかの物は宜しし更に大パーティーである"が導かれる
4. 推論3と事実2から、推論4: "このルーラー上はいとおしい"が導かれる
5. 事実6から、推論5: "仮にこのルーラー上がいとおしいならば選出しないけれど幼い"が導かれる
6. 推論4と推論5から、推論6: "このルーラー上は選出するということはないけどそれは幼い"が導かれる
7. 推論6から、推論7: "このルーラー上は選出するということはない"が導かれる
8. 推論7と事実23から、推論8: "その第二十三章は甘辛い"が導かれる
9. 事実20から、推論9: "その第二十三章は完成する"が導かれる
10. 推論8と推論9から、仮説が否定される

よって、仮説が否定されました。