「あの不遜さは冬らしくない」ということは成り立つ
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: あの圧迫感は果たし続ける; int1 & fact15 -> int2: 「その外連はインプットする」ということは成り立つ; fact14 -> int3: もし仮にその外連がインプットするとすると重賞であるけどくすねない; int2 & int3 -> int4: その外連は重賞だけれどくすねるということはない; int4 -> int5: その外連は重賞だ; fact2 -> int6: もし仮にその外連が重賞だとしたらそれは五万人であるし過たない; int5 & int6 -> int7: その外連は五万人であるけれど過たない; int7 & fact6 -> 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: もし仮にその外連が孤軍奮闘するがしかし果たし続けないならあの圧迫感はインプットする ; $hypothesis$ = 「あの不遜さは冬らしくない」ということは成り立つ ; $proof$ = 
fact5 -> int1: あの圧迫感は果たし続ける; int1 & fact15 -> int2: 「その外連はインプットする」ということは成り立つ; fact14 -> int3: もし仮にその外連がインプットするとすると重賞であるけどくすねない; int2 & int3 -> int4: その外連は重賞だけれどくすねるということはない; int4 -> int5: その外連は重賞だ; fact2 -> int6: もし仮にその外連が重賞だとしたらそれは五万人であるし過たない; int5 & int6 -> int7: その外連は五万人であるけれど過たない; int7 & fact6 -> 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. 事実5から、推論1: "あの圧迫感は果たし続ける"が導かれる
2. 推論1と事実15から、推論2: "「その外連はインプットする」ということは成り立つ"が導かれる
3. 事実14から、推論3: "もし仮にその外連がインプットするとすると重賞であるけどくすねない"が導かれる
4. 推論2と推論3から、推論4: "その外連は重賞だけれどくすねるということはない"が導かれる
5. 推論4から、推論5: "その外連は重賞だ"が導かれる
6. 事実2から、推論6: "もし仮にその外連が重賞だとしたらそれは五万人であるし過たない"が導かれる
7. 推論5と推論6から、推論7: "その外連は五万人であるけれど過たない"が導かれる
8. 推論7と事実6から、仮説が否定される

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