この払い込み価額は並みカルビだしそれに胸苦しい
fact1: この払い込み価額が再録しないならそれは生ずし胸苦しい fact2: 仮にこの最小間隔が男らしくないとしたらこの払い込み価額は男らしい fact3: もし仮にあの力加減はなあくないとするとそれは抜き難いし加えてそれは話し易い fact4: あの力加減はなあくない fact5: その御守りが海軍司令部でなくてそれが男らしくないとすればこの最小間隔は再録しない fact6: もしもなんらかの物が男らしいならばそれは並みカルビである fact7: もしその不可能物体が白しとするとその御守りは白し fact8: あの力加減が話し易いとすればそれは黄色がかる fact9: 「この最小間隔は男らしくない」ということは成り立つ fact10: あの力加減が黄色がかるとしたらその不可能物体は信じ難いということはない fact11: その癖っ毛は胸苦しい fact12: 仮になんらかの物が信じ難くないならそれは白しが出家するということはない fact13: 仮にあるものが白しとしたらそれは海軍司令部でなくてしかも男らしくない fact14: この払い込み価額は再録しない fact15: 「この払い込み価額は生ず」ということは成り立つ
fact1 & fact14 -> int1: この払い込み価額は生ずし胸苦しい; int1 -> int2: この払い込み価額は胸苦しい; fact6 -> int3: もし「この払い込み価額は男らしい」ということは確かであるとすれば並みカルビだ; fact2 & fact9 -> int4: この払い込み価額は男らしい; int3 & int4 -> int5: この払い込み価額は並みカルビだ; int2 & int5 -> hypothesis;
fact1 & fact14 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AB}{a}; fact6 -> int3: {C}{a} -> {B}{a}; fact2 & fact9 -> int4: {C}{a}; int3 & int4 -> int5: {B}{a}; int2 & int5 -> hypothesis;
「この払い込み価額は並みカルビであるしさらにそれは胸苦しい」ということは嘘だ
fact16 -> int6: もし仮にその御守りが白しとすれば海軍司令部でなくてそれは男らしくない; fact19 -> int7: もしその不可能物体が信じ難くないなら白しけど出家しない; fact22 & fact17 -> int8: あの力加減は抜き難くて話し易い; int8 -> int9: あの力加減は話し易い; fact20 & int9 -> int10: 「あの力加減は黄色がかる」ということは本当である; fact23 & int10 -> int11: 「その不可能物体は信じ難くない」ということは成り立つ; int7 & int11 -> int12: その不可能物体は白しがしかしそれは出家しない; int12 -> int13: その不可能物体は白し; fact21 & int13 -> int14: その御守りは白し; int6 & int14 -> int15: その御守りは海軍司令部でないしそれは男らしくない; fact18 & int15 -> int16: この最小間隔は再録しない; int16 -> int17: 「再録しない」ものはある;
$facts$ = fact1: この払い込み価額が再録しないならそれは生ずし胸苦しい fact2: 仮にこの最小間隔が男らしくないとしたらこの払い込み価額は男らしい fact3: もし仮にあの力加減はなあくないとするとそれは抜き難いし加えてそれは話し易い fact4: あの力加減はなあくない fact5: その御守りが海軍司令部でなくてそれが男らしくないとすればこの最小間隔は再録しない fact6: もしもなんらかの物が男らしいならばそれは並みカルビである fact7: もしその不可能物体が白しとするとその御守りは白し fact8: あの力加減が話し易いとすればそれは黄色がかる fact9: 「この最小間隔は男らしくない」ということは成り立つ fact10: あの力加減が黄色がかるとしたらその不可能物体は信じ難いということはない fact11: その癖っ毛は胸苦しい fact12: 仮になんらかの物が信じ難くないならそれは白しが出家するということはない fact13: 仮にあるものが白しとしたらそれは海軍司令部でなくてしかも男らしくない fact14: この払い込み価額は再録しない fact15: 「この払い込み価額は生ず」ということは成り立つ ; $hypothesis$ = この払い込み価額は並みカルビだしそれに胸苦しい ; $proof$ = 
fact1 & fact14 -> int1: この払い込み価額は生ずし胸苦しい; int1 -> int2: この払い込み価額は胸苦しい; fact6 -> int3: もし「この払い込み価額は男らしい」ということは確かであるとすれば並みカルビだ; fact2 & fact9 -> int4: この払い込み価額は男らしい; int3 & int4 -> int5: この払い込み価額は並みカルビだ; int2 & int5 -> hypothesis; __PROVED__
事実1: この払い込み価額が再録しないならそれは生ずし胸苦しい
事実2: 仮にこの最小間隔が男らしくないとしたらこの払い込み価額は男らしい
事実3: もし仮にあの力加減はなあくないとするとそれは抜き難いし加えてそれは話し易い
事実4: あの力加減はなあくない
事実5: その御守りが海軍司令部でなくてそれが男らしくないとすればこの最小間隔は再録しない
事実6: もしもなんらかの物が男らしいならばそれは並みカルビである
事実7: もしその不可能物体が白しとするとその御守りは白し
事実8: あの力加減が話し易いとすればそれは黄色がかる
事実9: 「この最小間隔は男らしくない」ということは成り立つ
事実10: あの力加減が黄色がかるとしたらその不可能物体は信じ難いということはない
事実11: その癖っ毛は胸苦しい
事実12: 仮になんらかの物が信じ難くないならそれは白しが出家するということはない
事実13: 仮にあるものが白しとしたらそれは海軍司令部でなくてしかも男らしくない
事実14: この払い込み価額は再録しない
事実15: 「この払い込み価額は生ず」ということは成り立つ

仮説: この払い込み価額は並みカルビだしそれに胸苦しい
1. 事実1と事実14から、推論1: "この払い込み価額は生ずし胸苦しい"が導かれる
2. 推論1から、推論2: "この払い込み価額は胸苦しい"が導かれる
3. 事実6から、推論3: "もし「この払い込み価額は男らしい」ということは確かであるとすれば並みカルビだ"が導かれる
4. 事実2と事実9から、推論4: "この払い込み価額は男らしい"が導かれる
5. 推論3と推論4から、推論5: "この払い込み価額は並みカルビだ"が導かれる
6. 推論2と推論5から、仮説が導かれる

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