「そのＧＩＦ形式は捕らえ難くない」ということは事実である
fact1: 悪しいものは固いけれど開花時期でない fact2: 「何らかの物は詰まり易くないがしかしヘリコバクターピロリ菌だ」ということは成り立たないとしたらそれは構造化しない fact3: 「このエルゴパワーは人懐っこくないけれど狙える」ということは成り立たない fact4: もし「恭しい」ものがあるとしたらあのぱは悪しいししかも子育てする fact5: このエルゴパワーが狙えないとしたらあの被告Ｘは紅潮しなくて更に穿刺しない fact6: この韓国通信は捕らえ難い fact7: 仮にこのリーダー格は構造化しないなら「あの都市災害は気持ち良くてかつ捕らえ難い」ということは誤っている fact8: もし「あの有効射程は最もらしい」ということは確かであるとすると「このリーダー格は詰まり易いということはない一方でヘリコバクターピロリ菌である」ということは間違っている fact9: もし「このエルゴパワーは人懐っこいということはない一方で狙える」ということは事実でないとすると狙えるということはない fact10: そのＧＩＦ形式は捕らえ難い fact11: もし固いものが開花時期でないならあの有効射程は最もらしい fact12: もし仮にあの被告Ｘが紅潮しないし穿刺しないならあの不肖は恭しい
fact10 -> hypothesis;
fact10 -> hypothesis;
そのＧＩＦ形式は捕らえ難くない
fact19 -> int1: 仮に「このリーダー格は詰まり易くないがヘリコバクターピロリ菌である」ということは成り立たないとすると構造化しない; fact22 -> int2: もしもあのぱは悪しいなら「固いけれど開花時期でない」ということは成り立つ; fact20 & fact16 -> int3: このエルゴパワーは狙えない; fact13 & int3 -> int4: あの被告Ｘは紅潮するということはなくて加えて穿刺しない; fact21 & int4 -> int5: あの不肖は恭しい; int5 -> int6: 「恭しい」物はある; int6 & fact15 -> int7: あのぱは悪しくて子育てする; int7 -> int8: あのぱは悪しい; int2 & int8 -> int9: 「あのぱは固いけどそれは開花時期でない」ということは確かである; int9 -> int10: 「固くて開花時期でない」物はある; int10 & fact14 -> int11: あの有効射程は最もらしい; fact18 & int11 -> int12: 「このリーダー格は詰まり易いということはない一方でヘリコバクターピロリ菌である」ということは成り立たない; int1 & int12 -> int13: このリーダー格は構造化するということはない; fact17 & int13 -> int14: 「あの都市災害は気持ち良くて捕らえ難い」ということは成り立たない; int14 -> int15: 「「気持ち良くて加えて捕らえ難い」ということは成り立たない」ものはある;
$facts$ = fact1: 悪しいものは固いけれど開花時期でない fact2: 「何らかの物は詰まり易くないがしかしヘリコバクターピロリ菌だ」ということは成り立たないとしたらそれは構造化しない fact3: 「このエルゴパワーは人懐っこくないけれど狙える」ということは成り立たない fact4: もし「恭しい」ものがあるとしたらあのぱは悪しいししかも子育てする fact5: このエルゴパワーが狙えないとしたらあの被告Ｘは紅潮しなくて更に穿刺しない fact6: この韓国通信は捕らえ難い fact7: 仮にこのリーダー格は構造化しないなら「あの都市災害は気持ち良くてかつ捕らえ難い」ということは誤っている fact8: もし「あの有効射程は最もらしい」ということは確かであるとすると「このリーダー格は詰まり易いということはない一方でヘリコバクターピロリ菌である」ということは間違っている fact9: もし「このエルゴパワーは人懐っこいということはない一方で狙える」ということは事実でないとすると狙えるということはない fact10: そのＧＩＦ形式は捕らえ難い fact11: もし固いものが開花時期でないならあの有効射程は最もらしい fact12: もし仮にあの被告Ｘが紅潮しないし穿刺しないならあの不肖は恭しい ; $hypothesis$ = 「そのＧＩＦ形式は捕らえ難くない」ということは事実である ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: 悪しいものは固いけれど開花時期でない
事実2: 「何らかの物は詰まり易くないがしかしヘリコバクターピロリ菌だ」ということは成り立たないとしたらそれは構造化しない
事実3: 「このエルゴパワーは人懐っこくないけれど狙える」ということは成り立たない
事実4: もし「恭しい」ものがあるとしたらあのぱは悪しいししかも子育てする
事実5: このエルゴパワーが狙えないとしたらあの被告Ｘは紅潮しなくて更に穿刺しない
事実6: この韓国通信は捕らえ難い
事実7: 仮にこのリーダー格は構造化しないなら「あの都市災害は気持ち良くてかつ捕らえ難い」ということは誤っている
事実8: もし「あの有効射程は最もらしい」ということは確かであるとすると「このリーダー格は詰まり易いということはない一方でヘリコバクターピロリ菌である」ということは間違っている
事実9: もし「このエルゴパワーは人懐っこいということはない一方で狙える」ということは事実でないとすると狙えるということはない
事実10: そのＧＩＦ形式は捕らえ難い
事実11: もし固いものが開花時期でないならあの有効射程は最もらしい
事実12: もし仮にあの被告Ｘが紅潮しないし穿刺しないならあの不肖は恭しい

仮説: 「そのＧＩＦ形式は捕らえ難くない」ということは事実である
1. 事実10から、仮説が否定される

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