この五六十人は捕らえ難くない
fact1: その通帳等は野良でない fact2: その通帳等は野良だということはないがごわつく fact3: もしその通帳等が救い難くないがしかしそれが試算するとしたらごわつかない fact4: もしその通帳等は試算するししかも分岐するとすれば想像付かない fact5: もしその通帳等は野良でおまけにごわつくとしたらそれはっ早くない fact6: その通帳等は野良でないけどごわつくとしたら「それはっ早い」ということは成り立たない fact7: もしもこの五六十人が捕らえ難くないとすればごわつくけど来航するということはない fact8: 仮にこの五六十人が来航しないけどそれは捕らえ難いとしたら「それは編み入れない」ということは確かだ fact9: もしその通帳等はっ早くないとしたらそれは試算するしそれに分岐するということはない fact10: この花頭窓は心安くない一方でそれは想像付く fact11: 「その通帳等が試算するがしかし分岐しないとしたらその通帳等は想像付かない」ということは正しい fact12: 仮にこの射程外が救い難くないならばあのＬＯＲＡＮは来航しない fact13: 「その左下隅が意図だとするとこの五六十人は捕らえ難い」ということは確かだ fact14: もしこの犬小屋が与し易くないならばそれは狼狽するがしかし編み入れるということはない fact15: もし仮にその通帳等はっ早くないとしたらそれは分岐しない fact16: もし仮に「その左下隅は意図でない」ということは成り立つとすれば「この射程外は編み入れるしその上救い難い」ということは事実と異なる fact17: その通帳等は分岐しない fact18: もし仮にそのＬＯＲＡＮが来航しないとすればあの通帳等は想像付く fact19: 仮に「この射程外は編み入れるしまたそれは救い難い」ということは偽だとすればそのＬＯＲＡＮは来航しない fact20: その左下隅は試算する一方で溜め込み易くない fact21: 仮に「何らかのものは意図でないがしかし捕らえ難い」ということは成り立つということはないとしたらそれは捕らえ難くない fact22: 「この射程外は救い難いがしかし試算しない」ということは成り立つ
void -> assump1: 以下のように仮定する。その左下隅は意図であるということはない; fact16 & assump1 -> int1: 「この射程外は編み入れるし救い難い」ということは確かでない; int1 & fact19 -> int2: そのＬＯＲＡＮは来航しない; int2 & fact18 -> int3: その通帳等は想像付く; fact6 & fact2 -> int4: その通帳等はっ早くない; fact9 & int4 -> int5: その通帳等は試算する一方で分岐しない; int5 & fact11 -> int6: その通帳等は想像付かない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その左下隅は意図である; int8 & fact13 -> hypothesis;
この五六十人は捕らえ難いということはない
fact23 -> int9: 「この五六十人は意図でない一方で捕らえ難い」ということは事実と異なるなら捕らえ難くない;
$facts$ = fact1: その通帳等は野良でない fact2: その通帳等は野良だということはないがごわつく fact3: もしその通帳等が救い難くないがしかしそれが試算するとしたらごわつかない fact4: もしその通帳等は試算するししかも分岐するとすれば想像付かない fact5: もしその通帳等は野良でおまけにごわつくとしたらそれはっ早くない fact6: その通帳等は野良でないけどごわつくとしたら「それはっ早い」ということは成り立たない fact7: もしもこの五六十人が捕らえ難くないとすればごわつくけど来航するということはない fact8: 仮にこの五六十人が来航しないけどそれは捕らえ難いとしたら「それは編み入れない」ということは確かだ fact9: もしその通帳等はっ早くないとしたらそれは試算するしそれに分岐するということはない fact10: この花頭窓は心安くない一方でそれは想像付く fact11: 「その通帳等が試算するがしかし分岐しないとしたらその通帳等は想像付かない」ということは正しい fact12: 仮にこの射程外が救い難くないならばあのＬＯＲＡＮは来航しない fact13: 「その左下隅が意図だとするとこの五六十人は捕らえ難い」ということは確かだ fact14: もしこの犬小屋が与し易くないならばそれは狼狽するがしかし編み入れるということはない fact15: もし仮にその通帳等はっ早くないとしたらそれは分岐しない fact16: もし仮に「その左下隅は意図でない」ということは成り立つとすれば「この射程外は編み入れるしその上救い難い」ということは事実と異なる fact17: その通帳等は分岐しない fact18: もし仮にそのＬＯＲＡＮが来航しないとすればあの通帳等は想像付く fact19: 仮に「この射程外は編み入れるしまたそれは救い難い」ということは偽だとすればそのＬＯＲＡＮは来航しない fact20: その左下隅は試算する一方で溜め込み易くない fact21: 仮に「何らかのものは意図でないがしかし捕らえ難い」ということは成り立つということはないとしたらそれは捕らえ難くない fact22: 「この射程外は救い難いがしかし試算しない」ということは成り立つ ; $hypothesis$ = この五六十人は捕らえ難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その左下隅は意図であるということはない; fact16 & assump1 -> int1: 「この射程外は編み入れるし救い難い」ということは確かでない; int1 & fact19 -> int2: そのＬＯＲＡＮは来航しない; int2 & fact18 -> int3: その通帳等は想像付く; fact6 & fact2 -> int4: その通帳等はっ早くない; fact9 & int4 -> int5: その通帳等は試算する一方で分岐しない; int5 & fact11 -> int6: その通帳等は想像付かない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その左下隅は意図である; int8 & fact13 -> hypothesis; __DISPROVED__
事実1: その通帳等は野良でない
事実2: その通帳等は野良だということはないがごわつく
事実3: もしその通帳等が救い難くないがしかしそれが試算するとしたらごわつかない
事実4: もしその通帳等は試算するししかも分岐するとすれば想像付かない
事実5: もしその通帳等は野良でおまけにごわつくとしたらそれはっ早くない
事実6: その通帳等は野良でないけどごわつくとしたら「それはっ早い」ということは成り立たない
事実7: もしもこの五六十人が捕らえ難くないとすればごわつくけど来航するということはない
事実8: 仮にこの五六十人が来航しないけどそれは捕らえ難いとしたら「それは編み入れない」ということは確かだ
事実9: もしその通帳等はっ早くないとしたらそれは試算するしそれに分岐するということはない
事実10: この花頭窓は心安くない一方でそれは想像付く
事実11: 「その通帳等が試算するがしかし分岐しないとしたらその通帳等は想像付かない」ということは正しい
事実12: 仮にこの射程外が救い難くないならばあのＬＯＲＡＮは来航しない
事実13: 「その左下隅が意図だとするとこの五六十人は捕らえ難い」ということは確かだ
事実14: もしこの犬小屋が与し易くないならばそれは狼狽するがしかし編み入れるということはない
事実15: もし仮にその通帳等はっ早くないとしたらそれは分岐しない
事実16: もし仮に「その左下隅は意図でない」ということは成り立つとすれば「この射程外は編み入れるしその上救い難い」ということは事実と異なる
事実17: その通帳等は分岐しない
事実18: もし仮にそのＬＯＲＡＮが来航しないとすればあの通帳等は想像付く
事実19: 仮に「この射程外は編み入れるしまたそれは救い難い」ということは偽だとすればそのＬＯＲＡＮは来航しない
事実20: その左下隅は試算する一方で溜め込み易くない
事実21: 仮に「何らかのものは意図でないがしかし捕らえ難い」ということは成り立つということはないとしたらそれは捕らえ難くない
事実22: 「この射程外は救い難いがしかし試算しない」ということは成り立つ

仮説: この五六十人は捕らえ難くない
1. 仮定1: 以下のように仮定する。その左下隅は意図であるということはない
2. 事実16と仮定1から、推論1: "「この射程外は編み入れるし救い難い」ということは確かでない"が導かれる
3. 推論1と事実19から、推論2: "そのＬＯＲＡＮは来航しない"が導かれる
4. 推論2と事実18から、推論3: "その通帳等は想像付く"が導かれる
5. 事実6と事実2から、推論4: "その通帳等はっ早くない"が導かれる
6. 事実9と推論4から、推論5: "その通帳等は試算する一方で分岐しない"が導かれる
7. 推論5と事実11から、推論6: "その通帳等は想像付かない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その左下隅は意図である"が導かれる
10. 推論8と事実13から、仮説が否定される

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