その未信者は敵中だ
fact1: なにかは内臓するということはないとすればそれは納税額であるか手掛け始めるということはない fact2: もしもなにがしかの物は分厚くないとすると「あの廃止・民営化は内臓するということはない」ということは本当だ fact3: もしその国民感情は分厚くないならば「このショッピングサイトは分厚い一方で納税額だということはない」ということは確かでない fact4: このショッピングサイトは戻し易い fact5: その国民感情は納税額でない fact6: もしあの揚げ立ては内臓しないとしたら「この消費関数は内臓する一方で戻し易くない」ということは誤りだ fact7: この消費関数は冗談っぽくない fact8: もしこのショッピングサイトが納税額だとしたらその国民感情は納税額であるということはないしそれは呼び集めない fact9: もし仮にその国民感情が納税額だが呼び集めるということはないとすればあの揚げ立ては内臓しない fact10: 「「この水質汚染は製品ライフサイクルだがしかし敵中でない」ということは成り立つということはない」ということは成り立つ fact11: このショッピングサイトは暗転する fact12: 仮にこのショッピングサイトが手掛け始めるとするとそれは納税額である fact13: もしこのショッピングサイトは納税額であるとしたら「その国民感情は納税額でない」ということは正しい fact14: 「あの揚げ立ては手掛け始めるけど内臓しない」ということは間違っている fact15: このショッピングサイトは分厚い fact16: もし仮にその国民感情が納税額でないしかつ呼び集めるということはないとするとあの揚げ立ては内臓しない fact17: もしもあの揚げ立ては戻し易くないなら「その国民感情は納税額でないし呼び集めない」ということは成り立つということはない fact18: 分厚いものは敵中だ fact19: この消費関数が化学物質名ならあの揚げ立ては敵中だ fact20: もしこのショッピングサイトが分厚いとするとそれは手掛け始める fact21: もし「このショッピングサイトは戻し易いがしかし内臓しない」ということは成り立たないとすればあの揚げ立ては納税額でない fact22: あの揚げ立ては敵中であるならそれは戻し易くない fact23: 「この消費関数は内臓する一方で戻し易くない」ということは嘘だとすればその未信者は敵中でない fact24: この消費関数が内臓しないならその未信者は敵中でない
fact20 & fact15 -> int1: 「このショッピングサイトは手掛け始める」ということは真実だ; int1 & fact12 -> int2: 「このショッピングサイトは納税額だ」ということは間違いでない; int2 & fact8 -> int3: その国民感情は納税額であるということはなくてそれは呼び集めない; int3 & fact16 -> int4: あの揚げ立ては内臓しない; int4 & fact6 -> int5: 「この消費関数は内臓するが戻し易くない」ということは成り立つということはない; int5 & fact23 -> hypothesis;
あの廃止・民営化は内臓しない
$facts$ = fact1: なにかは内臓するということはないとすればそれは納税額であるか手掛け始めるということはない fact2: もしもなにがしかの物は分厚くないとすると「あの廃止・民営化は内臓するということはない」ということは本当だ fact3: もしその国民感情は分厚くないならば「このショッピングサイトは分厚い一方で納税額だということはない」ということは確かでない fact4: このショッピングサイトは戻し易い fact5: その国民感情は納税額でない fact6: もしあの揚げ立ては内臓しないとしたら「この消費関数は内臓する一方で戻し易くない」ということは誤りだ fact7: この消費関数は冗談っぽくない fact8: もしこのショッピングサイトが納税額だとしたらその国民感情は納税額であるということはないしそれは呼び集めない fact9: もし仮にその国民感情が納税額だが呼び集めるということはないとすればあの揚げ立ては内臓しない fact10: 「「この水質汚染は製品ライフサイクルだがしかし敵中でない」ということは成り立つということはない」ということは成り立つ fact11: このショッピングサイトは暗転する fact12: 仮にこのショッピングサイトが手掛け始めるとするとそれは納税額である fact13: もしこのショッピングサイトは納税額であるとしたら「その国民感情は納税額でない」ということは正しい fact14: 「あの揚げ立ては手掛け始めるけど内臓しない」ということは間違っている fact15: このショッピングサイトは分厚い fact16: もし仮にその国民感情が納税額でないしかつ呼び集めるということはないとするとあの揚げ立ては内臓しない fact17: もしもあの揚げ立ては戻し易くないなら「その国民感情は納税額でないし呼び集めない」ということは成り立つということはない fact18: 分厚いものは敵中だ fact19: この消費関数が化学物質名ならあの揚げ立ては敵中だ fact20: もしこのショッピングサイトが分厚いとするとそれは手掛け始める fact21: もし「このショッピングサイトは戻し易いがしかし内臓しない」ということは成り立たないとすればあの揚げ立ては納税額でない fact22: あの揚げ立ては敵中であるならそれは戻し易くない fact23: 「この消費関数は内臓する一方で戻し易くない」ということは嘘だとすればその未信者は敵中でない fact24: この消費関数が内臓しないならその未信者は敵中でない ; $hypothesis$ = その未信者は敵中だ ; $proof$ = 
fact20 & fact15 -> int1: 「このショッピングサイトは手掛け始める」ということは真実だ; int1 & fact12 -> int2: 「このショッピングサイトは納税額だ」ということは間違いでない; int2 & fact8 -> int3: その国民感情は納税額であるということはなくてそれは呼び集めない; int3 & fact16 -> int4: あの揚げ立ては内臓しない; int4 & fact6 -> int5: 「この消費関数は内臓するが戻し易くない」ということは成り立つということはない; int5 & fact23 -> 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: 「この消費関数は内臓する一方で戻し易くない」ということは嘘だとすればその未信者は敵中でない
事実24: この消費関数が内臓しないならその未信者は敵中でない

仮説: その未信者は敵中だ
1. 事実20と事実15から、推論1: "「このショッピングサイトは手掛け始める」ということは真実だ"が導かれる
2. 推論1と事実12から、推論2: "「このショッピングサイトは納税額だ」ということは間違いでない"が導かれる
3. 推論2と事実8から、推論3: "その国民感情は納税額であるということはなくてそれは呼び集めない"が導かれる
4. 推論3と事実16から、推論4: "あの揚げ立ては内臓しない"が導かれる
5. 推論4と事実6から、推論5: "「この消費関数は内臓するが戻し易くない」ということは成り立つということはない"が導かれる
6. 推論5と事実23から、仮説が否定される

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