この釣り用は遣り易くない
fact1: 「あの次期以降は心強い」ということは偽でない fact2: 仮にその日本最古は御稽古するしおまけにいじましいとすると上り付くということはない fact3: 仮にその日本最古はスクリーンドアでないならそれは温かい fact4: もし仮に何らかのものが育ち難いとすると荒い fact5: その日本最古は隔離する fact6: もし仮にその日本最古がスクリーンドアだということはないとすれば温かいし加えて御稽古する fact7: その日本最古が上り付かないとしたらあの商工会は隔離する fact8: 「もしもこの釣り用は荒いなら「あの次期以降は遣り易い」ということは事実だ」ということは成り立つ fact9: 「仮にあのオンバランスが温かくないならばあのオンバランスは上り付くしかつ隔離する」ということは本当である fact10: 仮にあの商工会がいじましくて御稽古すればその日本最古は荒くない fact11: もし仮にあの商工会が隔離するとしたらこの釣り用は遣り易い fact12: あのオンバランスは上り付くなら「あの商工会は御稽古しない」ということは嘘だ fact13: その日本最古は温かい fact14: あの次期以降は心強いし更に育ち難い fact15: もしもあの次期以降は荒いならば「その日本最古はいじましい」ということは成り立つ fact16: 「あの商工会はいじましいしスクリーンドアである」ということは正しい fact17: その日本最古はスクリーンドアでない fact18: そのアウトサイドは移動し易いししかも単結晶だ fact19: あのオンバランスは温かくない
fact14 -> int1: あの次期以降は育ち難い; fact4 -> int2: もしもあの次期以降が育ち難いならばそれは荒い; int1 & int2 -> int3: あの次期以降は荒い; int3 & fact15 -> int4: その日本最古はいじましい; fact6 & fact17 -> int5: その日本最古は温かくて御稽古する; int5 -> int6: その日本最古は御稽古する; int4 & int6 -> int7: 「その日本最古は御稽古するしその上いじましい」ということは成り立つ; int7 & fact2 -> int8: 「その日本最古は上り付かない」ということは正しい; int8 & fact7 -> int9: あの商工会は隔離する; int9 & fact11 -> hypothesis;
この釣り用は遣り易くない
fact22 -> int10: あの商工会はいじましい; fact23 & fact21 -> int11: あのオンバランスは上り付くしそれにそれは隔離する; int11 -> int12: あのオンバランスは上り付く; fact24 & int12 -> int13: あの商工会は御稽古する; int10 & int13 -> int14: あの商工会はいじましいし更に御稽古する; fact20 & int14 -> int15: その日本最古は荒くない; int15 -> int16: 「「荒くない」物はある」ということは確かだ;
$facts$ = fact1: 「あの次期以降は心強い」ということは偽でない fact2: 仮にその日本最古は御稽古するしおまけにいじましいとすると上り付くということはない fact3: 仮にその日本最古はスクリーンドアでないならそれは温かい fact4: もし仮に何らかのものが育ち難いとすると荒い fact5: その日本最古は隔離する fact6: もし仮にその日本最古がスクリーンドアだということはないとすれば温かいし加えて御稽古する fact7: その日本最古が上り付かないとしたらあの商工会は隔離する fact8: 「もしもこの釣り用は荒いなら「あの次期以降は遣り易い」ということは事実だ」ということは成り立つ fact9: 「仮にあのオンバランスが温かくないならばあのオンバランスは上り付くしかつ隔離する」ということは本当である fact10: 仮にあの商工会がいじましくて御稽古すればその日本最古は荒くない fact11: もし仮にあの商工会が隔離するとしたらこの釣り用は遣り易い fact12: あのオンバランスは上り付くなら「あの商工会は御稽古しない」ということは嘘だ fact13: その日本最古は温かい fact14: あの次期以降は心強いし更に育ち難い fact15: もしもあの次期以降は荒いならば「その日本最古はいじましい」ということは成り立つ fact16: 「あの商工会はいじましいしスクリーンドアである」ということは正しい fact17: その日本最古はスクリーンドアでない fact18: そのアウトサイドは移動し易いししかも単結晶だ fact19: あのオンバランスは温かくない ; $hypothesis$ = この釣り用は遣り易くない ; $proof$ = 
fact14 -> int1: あの次期以降は育ち難い; fact4 -> int2: もしもあの次期以降が育ち難いならばそれは荒い; int1 & int2 -> int3: あの次期以降は荒い; int3 & fact15 -> int4: その日本最古はいじましい; fact6 & fact17 -> int5: その日本最古は温かくて御稽古する; int5 -> int6: その日本最古は御稽古する; int4 & int6 -> int7: 「その日本最古は御稽古するしその上いじましい」ということは成り立つ; int7 & fact2 -> int8: 「その日本最古は上り付かない」ということは正しい; int8 & fact7 -> int9: あの商工会は隔離する; int9 & fact11 -> hypothesis; __DISPROVED__
事実1: 「あの次期以降は心強い」ということは偽でない
事実2: 仮にその日本最古は御稽古するしおまけにいじましいとすると上り付くということはない
事実3: 仮にその日本最古はスクリーンドアでないならそれは温かい
事実4: もし仮に何らかのものが育ち難いとすると荒い
事実5: その日本最古は隔離する
事実6: もし仮にその日本最古がスクリーンドアだということはないとすれば温かいし加えて御稽古する
事実7: その日本最古が上り付かないとしたらあの商工会は隔離する
事実8: 「もしもこの釣り用は荒いなら「あの次期以降は遣り易い」ということは事実だ」ということは成り立つ
事実9: 「仮にあのオンバランスが温かくないならばあのオンバランスは上り付くしかつ隔離する」ということは本当である
事実10: 仮にあの商工会がいじましくて御稽古すればその日本最古は荒くない
事実11: もし仮にあの商工会が隔離するとしたらこの釣り用は遣り易い
事実12: あのオンバランスは上り付くなら「あの商工会は御稽古しない」ということは嘘だ
事実13: その日本最古は温かい
事実14: あの次期以降は心強いし更に育ち難い
事実15: もしもあの次期以降は荒いならば「その日本最古はいじましい」ということは成り立つ
事実16: 「あの商工会はいじましいしスクリーンドアである」ということは正しい
事実17: その日本最古はスクリーンドアでない
事実18: そのアウトサイドは移動し易いししかも単結晶だ
事実19: あのオンバランスは温かくない

仮説: この釣り用は遣り易くない
1. 事実14から、推論1: "あの次期以降は育ち難い"が導かれる
2. 事実4から、推論2: "もしもあの次期以降が育ち難いならばそれは荒い"が導かれる
3. 推論1と推論2から、推論3: "あの次期以降は荒い"が導かれる
4. 推論3と事実15から、推論4: "その日本最古はいじましい"が導かれる
5. 事実6と事実17から、推論5: "その日本最古は温かくて御稽古する"が導かれる
6. 推論5から、推論6: "その日本最古は御稽古する"が導かれる
7. 推論4と推論6から、推論7: "「その日本最古は御稽古するしその上いじましい」ということは成り立つ"が導かれる
8. 推論7と事実2から、推論8: "「その日本最古は上り付かない」ということは正しい"が導かれる
9. 推論8と事実7から、推論9: "あの商工会は隔離する"が導かれる
10. 推論9と事実11から、仮説が否定される

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