「あのスプレー式は閉鎖しないけど混同する」ということは成り立たない
fact1: この教育者はキーホルダーである fact2: もしとある物は短期入所生活介護でないなら「キーホルダーでない」ということは成り立つ fact3: あのスプレー式は混同する fact4: もしとあるものは短期入所生活介護でないとするとされ易くないしキーホルダーでない fact5: その施行条例は混同する fact6: この悲報はされ易くない fact7: あのスプレー式は東洋でない fact8: すべては主計局であるしそれは援助する fact9: もしあの被現物出資法人が処置しないかもしくはそれが混同しないとするとそれは混同しない fact10: もしこの概念上が天神でなくて生らないならこの男役は生え変わるということはない fact11: あのスプレー式はキーホルダーでない fact12: 「あのスプレー式は完治率であるということはないかまたは偏愛しないか両方である」ということは成り立つ fact13: もしあのＭＧ／Ｋ化学当量比は短期入所生活介護でないとしたら「「あのスプレー式は閉鎖しないがしかしそれは混同する」ということは誤っている」ということは事実だ fact14: 「「この男役は有隣でないが援助する」ということは確かである」ということは成り立たないとすればあのＭＧ／Ｋ化学当量比は援助する fact15: あのスプレー式が激しないかそれは短期入所生活介護であるということはないか両方であるとすれば「それは短期入所生活介護だということはない」ということは本当だ fact16: もしなにかは非線形性でないとすれば渡来しなくて自動算出しない fact17: 仮にあのスプレー式はされ易くないしキーホルダーだということはないとすると「閉鎖しない」ということは成り立つ fact18: もし何らかのものは生え変わらないならば「有隣でない一方で援助する」ということは本当でない fact19: もしもあのスプレー式はされ易くない一方でキーホルダーならそれは閉鎖するということはない fact20: もしもあのＭＧ／Ｋ化学当量比が閉鎖するということはないならばその単身赴任は激するしまたそれは短期入所生活介護である fact21: あのスプレー式は大斜歯歯車でないか白目でないかもしくは両方である fact22: あのスプレー式は激しないかもしくはそれは短期入所生活介護であるということはないかあるいは両方ともである fact23: 仮にあのスプレー式は短期入所生活介護でないならキーホルダーであるということはない
fact4 -> int1: 仮に「あのスプレー式は短期入所生活介護でない」ということは成り立てばされ易くないしキーホルダーでない; fact15 & fact22 -> int2: あのスプレー式は短期入所生活介護でない; int1 & int2 -> int3: あのスプレー式はされ易くないし更にキーホルダーでない; int3 & fact17 -> int4: あのスプレー式は閉鎖しない; int4 & fact3 -> hypothesis;
「その単身赴任は激する」ということは正しい
fact25 -> int5: この男役は主計局であるしさらに援助する; int5 -> int6: この男役は主計局である;
$facts$ = fact1: この教育者はキーホルダーである fact2: もしとある物は短期入所生活介護でないなら「キーホルダーでない」ということは成り立つ fact3: あのスプレー式は混同する fact4: もしとあるものは短期入所生活介護でないとするとされ易くないしキーホルダーでない fact5: その施行条例は混同する fact6: この悲報はされ易くない fact7: あのスプレー式は東洋でない fact8: すべては主計局であるしそれは援助する fact9: もしあの被現物出資法人が処置しないかもしくはそれが混同しないとするとそれは混同しない fact10: もしこの概念上が天神でなくて生らないならこの男役は生え変わるということはない fact11: あのスプレー式はキーホルダーでない fact12: 「あのスプレー式は完治率であるということはないかまたは偏愛しないか両方である」ということは成り立つ fact13: もしあのＭＧ／Ｋ化学当量比は短期入所生活介護でないとしたら「「あのスプレー式は閉鎖しないがしかしそれは混同する」ということは誤っている」ということは事実だ fact14: 「「この男役は有隣でないが援助する」ということは確かである」ということは成り立たないとすればあのＭＧ／Ｋ化学当量比は援助する fact15: あのスプレー式が激しないかそれは短期入所生活介護であるということはないか両方であるとすれば「それは短期入所生活介護だということはない」ということは本当だ fact16: もしなにかは非線形性でないとすれば渡来しなくて自動算出しない fact17: 仮にあのスプレー式はされ易くないしキーホルダーだということはないとすると「閉鎖しない」ということは成り立つ fact18: もし何らかのものは生え変わらないならば「有隣でない一方で援助する」ということは本当でない fact19: もしもあのスプレー式はされ易くない一方でキーホルダーならそれは閉鎖するということはない fact20: もしもあのＭＧ／Ｋ化学当量比が閉鎖するということはないならばその単身赴任は激するしまたそれは短期入所生活介護である fact21: あのスプレー式は大斜歯歯車でないか白目でないかもしくは両方である fact22: あのスプレー式は激しないかもしくはそれは短期入所生活介護であるということはないかあるいは両方ともである fact23: 仮にあのスプレー式は短期入所生活介護でないならキーホルダーであるということはない ; $hypothesis$ = 「あのスプレー式は閉鎖しないけど混同する」ということは成り立たない ; $proof$ = 
fact4 -> int1: 仮に「あのスプレー式は短期入所生活介護でない」ということは成り立てばされ易くないしキーホルダーでない; fact15 & fact22 -> int2: あのスプレー式は短期入所生活介護でない; int1 & int2 -> int3: あのスプレー式はされ易くないし更にキーホルダーでない; int3 & fact17 -> int4: あのスプレー式は閉鎖しない; int4 & fact3 -> hypothesis; __DISPROVED__
事実1: この教育者はキーホルダーである
事実2: もしとある物は短期入所生活介護でないなら「キーホルダーでない」ということは成り立つ
事実3: あのスプレー式は混同する
事実4: もしとあるものは短期入所生活介護でないとするとされ易くないしキーホルダーでない
事実5: その施行条例は混同する
事実6: この悲報はされ易くない
事実7: あのスプレー式は東洋でない
事実8: すべては主計局であるしそれは援助する
事実9: もしあの被現物出資法人が処置しないかもしくはそれが混同しないとするとそれは混同しない
事実10: もしこの概念上が天神でなくて生らないならこの男役は生え変わるということはない
事実11: あのスプレー式はキーホルダーでない
事実12: 「あのスプレー式は完治率であるということはないかまたは偏愛しないか両方である」ということは成り立つ
事実13: もしあのＭＧ／Ｋ化学当量比は短期入所生活介護でないとしたら「「あのスプレー式は閉鎖しないがしかしそれは混同する」ということは誤っている」ということは事実だ
事実14: 「「この男役は有隣でないが援助する」ということは確かである」ということは成り立たないとすればあのＭＧ／Ｋ化学当量比は援助する
事実15: あのスプレー式が激しないかそれは短期入所生活介護であるということはないか両方であるとすれば「それは短期入所生活介護だということはない」ということは本当だ
事実16: もしなにかは非線形性でないとすれば渡来しなくて自動算出しない
事実17: 仮にあのスプレー式はされ易くないしキーホルダーだということはないとすると「閉鎖しない」ということは成り立つ
事実18: もし何らかのものは生え変わらないならば「有隣でない一方で援助する」ということは本当でない
事実19: もしもあのスプレー式はされ易くない一方でキーホルダーならそれは閉鎖するということはない
事実20: もしもあのＭＧ／Ｋ化学当量比が閉鎖するということはないならばその単身赴任は激するしまたそれは短期入所生活介護である
事実21: あのスプレー式は大斜歯歯車でないか白目でないかもしくは両方である
事実22: あのスプレー式は激しないかもしくはそれは短期入所生活介護であるということはないかあるいは両方ともである
事実23: 仮にあのスプレー式は短期入所生活介護でないならキーホルダーであるということはない

仮説: 「あのスプレー式は閉鎖しないけど混同する」ということは成り立たない
1. 事実4から、推論1: "仮に「あのスプレー式は短期入所生活介護でない」ということは成り立てばされ易くないしキーホルダーでない"が導かれる
2. 事実15と事実22から、推論2: "あのスプレー式は短期入所生活介護でない"が導かれる
3. 推論1と推論2から、推論3: "あのスプレー式はされ易くないし更にキーホルダーでない"が導かれる
4. 推論3と事実17から、推論4: "あのスプレー式は閉鎖しない"が導かれる
5. 推論4と事実3から、仮説が否定される

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