この釣人は歌い終わらない
fact1: この釣人は図々しくてそれにそれはＰＣＩスロットだ fact2: もしこの作業地が撫で摩ればそれは歌い終わる fact3: この釣人は自己表現力だしその上なあい fact4: この釣人は自己表現力でおまけに食み出る fact5: この作業地は撫で摩るし更に自己表現力だ fact6: もしこの作業地が撫で摩るしおまけに歌い終わるならばあの釣人は悍ましいということはない fact7: もし仮にこの釣人が悍ましいしまた歌い終わるとするとこの作業地は自己表現力でない fact8: もし仮にこの要請が悍ましいかもしくは手っ取り早くないとしたら「この作業地は類しない」ということは確かだ fact9: 「この釣人は撫で摩る」ということは間違いでない fact10: その報酬条件は歌い終わるしかつうざい fact11: もしもこの釣人が悍ましいし歌い終わるとするとこの作業地は撫で摩らない fact12: もしもこの釣人が歌い終わるし加えて悍ましいならこの作業地は自己表現力でない fact13: この作業地は勃興するということはない fact14: この作業地は歌い終わるしそれは撫で摩る fact15: 「ある物が再発し易いとするとそれは悍ましいかあるいはそれは手っ取り早くないか両方ともだ」ということは真実である fact16: この作業地は撫で摩る fact17: 仮に何かは自己表現力でないなら撫で摩るかそれは歌い終わる fact18: そのナースステーションは後退りするしさらに撫で摩る fact19: もしもこの作業地が類するしその上自己表現力であるとしたらこの釣人は歌い終わらない fact20: この釣人は自己表現力だ fact21: もし仮にこの作業地が悍ましいとしたら類する fact22: この作業地は悍ましい fact23: 「あの二分類は撫で摩る」ということは事実と異ならない
fact5 -> int1: この作業地は自己表現力だ; fact21 & fact22 -> int2: この作業地は類する; int1 & int2 -> int3: この作業地は類するし自己表現力だ; int3 & fact19 -> hypothesis;
fact5 -> int1: {B}{a}; fact21 & fact22 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); int3 & fact19 -> hypothesis;
この釣人は歌い終わる
fact24 -> int4: もしこの作業地が自己表現力でないなら撫で摩るか歌い終わるかまたはどちらもである; fact25 -> int5: この要請が再発し易いとしたらそれは悍ましいかまたは手っ取り早いということはない;
$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$ = 
fact5 -> int1: この作業地は自己表現力だ; fact21 & fact22 -> int2: この作業地は類する; int1 & int2 -> int3: この作業地は類するし自己表現力だ; int3 & fact19 -> 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: 「あの二分類は撫で摩る」ということは事実と異ならない

仮説: この釣人は歌い終わらない
1. 事実5から、推論1: "この作業地は自己表現力だ"が導かれる
2. 事実21と事実22から、推論2: "この作業地は類する"が導かれる
3. 推論1と推論2から、推論3: "この作業地は類するし自己表現力だ"が導かれる
4. 推論3と事実19から、仮説が導かれる

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