あの同一基準は誇らない
fact1: あの同一基準は混和する fact2: あの同一基準は高過ぎる fact3: この購入方法は誇る fact4: 「やんごとなくないものは探し易くないけど誇る」ということは間違っているということはない fact5: 「あの同一基準は塩茹でする」ということは本当だ fact6: その七時頃は誇る fact7: あの同一基準は乗り易い fact8: あの同一基準は立て易い fact9: 仮にあのテーブルセットは注水しないとすると「やんごとないし更に割れ難い」ということは偽だ fact10: その効率的利用は誇る fact11: 「この霊能者は誇る」ということは正しい fact12: もし仮にその有価証券届け出書が探し易いということはない一方で誇るとしたらあの同一基準は誇らない fact13: 「あの同一基準は誇らない」ということは誤りである fact14: あの同一基準は大伽藍である fact15: あの情報内容は誇る fact16: あの同一基準は短時間型だ fact17: あの同一基準は具格である fact18: 「そのカナダ国旗は誇る」ということは嘘でない fact19: あのホビット村は誇る fact20: やんごとなくないものは誇るし更に探し易い fact21: このヘアピンは誇る
fact13 -> hypothesis;
fact13 -> hypothesis;
その一リットル当たりは誇る
fact22 -> int1: その一リットル当たりがやんごとなくないならばそれは誇るしおまけにそれは探し易い;
$facts$ = fact1: あの同一基準は混和する fact2: あの同一基準は高過ぎる fact3: この購入方法は誇る fact4: 「やんごとなくないものは探し易くないけど誇る」ということは間違っているということはない fact5: 「あの同一基準は塩茹でする」ということは本当だ fact6: その七時頃は誇る fact7: あの同一基準は乗り易い fact8: あの同一基準は立て易い fact9: 仮にあのテーブルセットは注水しないとすると「やんごとないし更に割れ難い」ということは偽だ fact10: その効率的利用は誇る fact11: 「この霊能者は誇る」ということは正しい fact12: もし仮にその有価証券届け出書が探し易いということはない一方で誇るとしたらあの同一基準は誇らない fact13: 「あの同一基準は誇らない」ということは誤りである fact14: あの同一基準は大伽藍である fact15: あの情報内容は誇る fact16: あの同一基準は短時間型だ fact17: あの同一基準は具格である fact18: 「そのカナダ国旗は誇る」ということは嘘でない fact19: あのホビット村は誇る fact20: やんごとなくないものは誇るし更に探し易い fact21: このヘアピンは誇る ; $hypothesis$ = あの同一基準は誇らない ; $proof$ = 
fact13 -> hypothesis; __DISPROVED__
事実1: あの同一基準は混和する
事実2: あの同一基準は高過ぎる
事実3: この購入方法は誇る
事実4: 「やんごとなくないものは探し易くないけど誇る」ということは間違っているということはない
事実5: 「あの同一基準は塩茹でする」ということは本当だ
事実6: その七時頃は誇る
事実7: あの同一基準は乗り易い
事実8: あの同一基準は立て易い
事実9: 仮にあのテーブルセットは注水しないとすると「やんごとないし更に割れ難い」ということは偽だ
事実10: その効率的利用は誇る
事実11: 「この霊能者は誇る」ということは正しい
事実12: もし仮にその有価証券届け出書が探し易いということはない一方で誇るとしたらあの同一基準は誇らない
事実13: 「あの同一基準は誇らない」ということは誤りである
事実14: あの同一基準は大伽藍である
事実15: あの情報内容は誇る
事実16: あの同一基準は短時間型だ
事実17: あの同一基準は具格である
事実18: 「そのカナダ国旗は誇る」ということは嘘でない
事実19: あのホビット村は誇る
事実20: やんごとなくないものは誇るし更に探し易い
事実21: このヘアピンは誇る

仮説: あの同一基準は誇らない
1. 事実13から、仮説が否定される

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