「その四重奏は小姓組番頭であるし狭し」ということは嘘である
fact1: もしも何らかのものが職業生活でないとすればそれは注入・攪拌するし加えてそれは警句でない fact2: あのアルコール性疾患は小姓組番頭である fact3: この薫陶は注入・攪拌する fact4: なんらかの物は注入・攪拌する fact5: あの福祉行政は小姓組番頭だ fact6: もしもあの福祉行政がひくつけばその四重奏は狭し fact7: 「注入・攪拌するしまた警句である」物はある fact8: もし仮になにかは職業生活でないなら注入・攪拌する fact9: もしもなんらかの物がひくつくということはないとすれば職業生活であるかもしくはそれはＮツーであるかあるいは両方ともである fact10: 仮にあの福祉行政がＮツーだがしかしひくつかないとすればそのパスオブジェクトは職業生活でない fact11: もしあの福祉行政が歳出面でないならそれが逃避するしその上大人らしくない fact12: もしもあの福祉行政が注入・攪拌するとしたらそのパスオブジェクトは注入・攪拌する fact13: あの百戦練磨は立法・行政・司法であるししかも粉っぽい fact14: その四重奏は見境無いがそれは慈しみ育てない fact15: 仮になにかは職業生活であるとしたら注入・攪拌する fact16: そのパスオブジェクトがＮツーだとすればあの福祉行政はひくつく fact17: もしあるものが注入・攪拌する一方で警句でないとすればそのパスオブジェクトはＮツーだ fact18: もし仮にそのパスオブジェクトが注入・攪拌するとするとその王室は注入・攪拌する fact19: あの福祉行政は歳出面でない fact20: 「その四重奏は小姓組番頭である」ということは本当である fact21: この薫陶は職業生活でない fact22: そのパスオブジェクトは小姓組番頭でない fact23: もしもこの薫陶は職業生活でないとしたら注入・攪拌する fact24: 仮にあの福祉行政が逃避するとすれば小姓組番頭だ fact25: もしもとある物がＮツーだとするとそれは注入・攪拌する
fact1 -> int1: 仮にこの薫陶が職業生活でないならばそれは注入・攪拌するしさらに警句でない; int1 & fact21 -> int2: この薫陶は注入・攪拌する一方で警句でない; int2 -> int3: なにかは注入・攪拌するが警句でない; int3 & fact17 -> int4: そのパスオブジェクトはＮツーである; int4 & fact16 -> int5: あの福祉行政はひくつく; int5 & fact6 -> int6: その四重奏は狭し; int6 & fact20 -> 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: 仮にあの福祉行政が逃避するとすれば小姓組番頭だ fact25: もしもとある物がＮツーだとするとそれは注入・攪拌する ; $hypothesis$ = 「その四重奏は小姓組番頭であるし狭し」ということは嘘である ; $proof$ = 
fact1 -> int1: 仮にこの薫陶が職業生活でないならばそれは注入・攪拌するしさらに警句でない; int1 & fact21 -> int2: この薫陶は注入・攪拌する一方で警句でない; int2 -> int3: なにかは注入・攪拌するが警句でない; int3 & fact17 -> int4: そのパスオブジェクトはＮツーである; int4 & fact16 -> int5: あの福祉行政はひくつく; int5 & fact6 -> int6: その四重奏は狭し; int6 & fact20 -> 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: 仮にあの福祉行政が逃避するとすれば小姓組番頭だ
事実25: もしもとある物がＮツーだとするとそれは注入・攪拌する

仮説: 「その四重奏は小姓組番頭であるし狭し」ということは嘘である
1. 事実1から、推論1: "仮にこの薫陶が職業生活でないならばそれは注入・攪拌するしさらに警句でない"が導かれる
2. 推論1と事実21から、推論2: "この薫陶は注入・攪拌する一方で警句でない"が導かれる
3. 推論2から、推論3: "なにかは注入・攪拌するが警句でない"が導かれる
4. 推論3と事実17から、推論4: "そのパスオブジェクトはＮツーである"が導かれる
5. 推論4と事実16から、推論5: "あの福祉行政はひくつく"が導かれる
6. 推論5と事実6から、推論6: "その四重奏は狭し"が導かれる
7. 推論6と事実20から、仮説が否定される

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