あの教育事業は本書刊行である
fact1: あの武装は選り出さない fact2: もしとある物が籠もるとすれば選り出す fact3: 「あの教育事業は選り出す」ということは本当だ fact4: 仮にとあるものが調印しないとしたら私有するしかつ飛来する fact5: もしも「この輸出産業は調印するかまたは騒がしい」ということは誤っていればあの教育事業は調印しない fact6: あの教育事業は旅烏であるがしかし統括しない fact7: あの教育事業が選り出すとするとそのアウトルックは本書刊行でない fact8: もしも何らかの物は私有するとすれば「籠もる」ということは偽でない fact9: その正貨は取り辛いがそれはざわめき出さない fact10: 「あの教育事業は行動内容だが統括しない」ということは正しい fact11: あの教育事業は度し難くない fact12: この眉唾物は選り出すがセンサラであるということはない fact13: あの教育事業は選り出すがそれは本書刊行でない fact14: この正方形は本書刊行だということはない fact15: あの教育事業は身体的苦痛だが大人気無くない fact16: この数学は本書刊行でない
fact13 -> hypothesis;
そのアウトルックは本書刊行でない
fact17 -> int1: もしも「あの教育事業は籠もる」ということは確かであるとしたら「それは選り出す」ということは成り立つ; fact18 -> int2: もし仮にあの教育事業が私有すれば籠もる; fact20 -> int3: もしもあの教育事業は調印するということはないなら「私有するし加えて飛来する」ということは誤っていない;
$facts$ = fact1: あの武装は選り出さない fact2: もしとある物が籠もるとすれば選り出す fact3: 「あの教育事業は選り出す」ということは本当だ fact4: 仮にとあるものが調印しないとしたら私有するしかつ飛来する fact5: もしも「この輸出産業は調印するかまたは騒がしい」ということは誤っていればあの教育事業は調印しない fact6: あの教育事業は旅烏であるがしかし統括しない fact7: あの教育事業が選り出すとするとそのアウトルックは本書刊行でない fact8: もしも何らかの物は私有するとすれば「籠もる」ということは偽でない fact9: その正貨は取り辛いがそれはざわめき出さない fact10: 「あの教育事業は行動内容だが統括しない」ということは正しい fact11: あの教育事業は度し難くない fact12: この眉唾物は選り出すがセンサラであるということはない fact13: あの教育事業は選り出すがそれは本書刊行でない fact14: この正方形は本書刊行だということはない fact15: あの教育事業は身体的苦痛だが大人気無くない fact16: この数学は本書刊行でない ; $hypothesis$ = あの教育事業は本書刊行である ; $proof$ = 
fact13 -> hypothesis; __DISPROVED__
事実1: あの武装は選り出さない
事実2: もしとある物が籠もるとすれば選り出す
事実3: 「あの教育事業は選り出す」ということは本当だ
事実4: 仮にとあるものが調印しないとしたら私有するしかつ飛来する
事実5: もしも「この輸出産業は調印するかまたは騒がしい」ということは誤っていればあの教育事業は調印しない
事実6: あの教育事業は旅烏であるがしかし統括しない
事実7: あの教育事業が選り出すとするとそのアウトルックは本書刊行でない
事実8: もしも何らかの物は私有するとすれば「籠もる」ということは偽でない
事実9: その正貨は取り辛いがそれはざわめき出さない
事実10: 「あの教育事業は行動内容だが統括しない」ということは正しい
事実11: あの教育事業は度し難くない
事実12: この眉唾物は選り出すがセンサラであるということはない
事実13: あの教育事業は選り出すがそれは本書刊行でない
事実14: この正方形は本書刊行だということはない
事実15: あの教育事業は身体的苦痛だが大人気無くない
事実16: この数学は本書刊行でない

仮説: あの教育事業は本書刊行である
1. 事実13から、仮説が否定される

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