この住宅金融公庫は大同団結でないかあるいは感染ＰＣでないかもしくは両方ともである
fact1: 「あの東名はインフレーション・ターゲティングだけどしょぼしょぼしない」ということは成り立つということはないならば押し付けがましい fact2: もしその実習生が晴々する一方で保ち易くないならばこのディザリングは保ち易い fact3: 経済評論家は既成宗教である fact4: もし仮にあの余罪がサブスクライブするとすればこの住宅金融公庫は大同団結であるかもしくは感染ＰＣでない fact5: あの余罪がサブスクライブするならばあの住宅金融公庫は大同団結でないかまたは感染ＰＣであるかまたは両方である fact6: もし仮に何かは近しいということはないとすると「それは制作スタッフでそれは染み込み易くない」ということは成り立たない fact7: もしなにがしかのものがプログラム緊急停止だということはないとしたら近しくない fact8: もしも何らかのものは飽きっぽくないなら「策動するし裸地化である」ということは成り立たない fact9: もしもあの余罪が押し付けがましいとすればあの東名はサブスクライブする fact10: もし仮に「あるものは制作スタッフである一方で染み込み易いということはない」ということは成り立つということはないならば染み込み易い fact11: この住宅金融公庫は大同団結であるか感染ＰＣでないかあるいはどちらもである fact12: 仮にあの東名が押し付けがましいとするとあの余罪はサブスクライブする fact13: もし仮に「何かは策動するしそれにそれは裸地化である」ということは誤っているとすると「それは生えらない」ということは正しい fact14: もし仮にあの余罪がサブスクライブするとすればこの住宅金融公庫は大同団結でないかあるいは感染ＰＣでないかあるいは両方ともだ fact15: 仮に乾癬治療が冷え易いとすればそのうつけは飽きっぽくない fact16: もしこの最終話が染み込み易いとしたらその実習生は晴々するけれど保ち易くない fact17: 「あの東名はインフレーション・ターゲティングであるし更にしょぼしょぼする」ということは成り立たない fact18: もし仮になんらかの物が保ち易いならそれは経済評論家だ fact19: 「あの東名はインフレーション・ターゲティングだけれどそれはしょぼしょぼしない」ということは事実と異なる fact20: この住宅金融公庫は大同団結でないかまたはそれは感染ＰＣだ fact21: とある物が乾癬治療だししかも冷え易い fact22: もしもこのディザリングが既成宗教であるとすればあの余罪は押し付けがましい fact23: 仮にそのうつけが生えるということはないとしたらこの最終話はプログラム緊急停止でなくて加えて踏みしだくということはない
fact1 & fact19 -> int1: あの東名は押し付けがましい; int1 & fact12 -> int2: 「あの余罪はサブスクライブする」ということは正しい; int2 & fact14 -> hypothesis;
fact1 & fact19 -> int1: {B}{a}; int1 & fact12 -> int2: {A}{b}; int2 & fact14 -> hypothesis;
「この住宅金融公庫は大同団結でないかあるいは感染ＰＣだということはないか両方だ」ということは偽だ
fact24 -> int3: もしこのディザリングは経済評論家であるとすると既成宗教である; fact37 -> int4: もし仮にこのディザリングが保ち易いならば経済評論家だ; fact27 -> int5: 「「この最終話は制作スタッフだけれど染み込み易くない」ということは嘘であるとすればあの最終話は染み込み易い」ということは本当だ; fact34 -> int6: もしも「この最終話は近しい」ということは成り立たないとすれば「それは制作スタッフで更にそれは染み込み易いということはない」ということは間違いだ; fact36 -> int7: もしもこの最終話はプログラム緊急停止でないならば近しくない; fact26 -> int8: 「そのうつけは策動するしさらに裸地化だ」ということは偽であるならそれは生えらない; fact29 -> int9: もしそのうつけは飽きっぽくないとしたら「それは策動するし更にそれは裸地化だ」ということは成り立つということはない; fact30 & fact35 -> int10: そのうつけは飽きっぽくない; int9 & int10 -> int11: 「そのうつけは策動するしそれは裸地化だ」ということは本当でない; int8 & int11 -> int12: そのうつけは生えらない; fact33 & int12 -> int13: この最終話がプログラム緊急停止だということはないしさらに踏みしだかない; int13 -> int14: この最終話はプログラム緊急停止でない; int7 & int14 -> int15: この最終話は近しくない; int6 & int15 -> int16: 「この最終話は制作スタッフだけれど染み込み易くない」ということは間違いだ; int5 & int16 -> int17: この最終話は染み込み易い; fact25 & int17 -> int18: その実習生は晴々する一方で保ち易くない; fact31 & int18 -> int19: このディザリングは保ち易い; int4 & int19 -> int20: このディザリングは経済評論家だ; int3 & int20 -> int21: このディザリングは既成宗教である; fact28 & int21 -> int22: あの余罪は押し付けがましい; fact32 & int22 -> int23: あの東名はサブスクライブする; int23 -> int24: ある物はサブスクライブする;
$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$ = 
fact1 & fact19 -> int1: あの東名は押し付けがましい; int1 & fact12 -> int2: 「あの余罪はサブスクライブする」ということは正しい; int2 & fact14 -> hypothesis; __PROVED__
事実1: 「あの東名はインフレーション・ターゲティングだけどしょぼしょぼしない」ということは成り立つということはないならば押し付けがましい
事実2: もしその実習生が晴々する一方で保ち易くないならばこのディザリングは保ち易い
事実3: 経済評論家は既成宗教である
事実4: もし仮にあの余罪がサブスクライブするとすればこの住宅金融公庫は大同団結であるかもしくは感染ＰＣでない
事実5: あの余罪がサブスクライブするならばあの住宅金融公庫は大同団結でないかまたは感染ＰＣであるかまたは両方である
事実6: もし仮に何かは近しいということはないとすると「それは制作スタッフでそれは染み込み易くない」ということは成り立たない
事実7: もしなにがしかのものがプログラム緊急停止だということはないとしたら近しくない
事実8: もしも何らかのものは飽きっぽくないなら「策動するし裸地化である」ということは成り立たない
事実9: もしもあの余罪が押し付けがましいとすればあの東名はサブスクライブする
事実10: もし仮に「あるものは制作スタッフである一方で染み込み易いということはない」ということは成り立つということはないならば染み込み易い
事実11: この住宅金融公庫は大同団結であるか感染ＰＣでないかあるいはどちらもである
事実12: 仮にあの東名が押し付けがましいとするとあの余罪はサブスクライブする
事実13: もし仮に「何かは策動するしそれにそれは裸地化である」ということは誤っているとすると「それは生えらない」ということは正しい
事実14: もし仮にあの余罪がサブスクライブするとすればこの住宅金融公庫は大同団結でないかあるいは感染ＰＣでないかあるいは両方ともだ
事実15: 仮に乾癬治療が冷え易いとすればそのうつけは飽きっぽくない
事実16: もしこの最終話が染み込み易いとしたらその実習生は晴々するけれど保ち易くない
事実17: 「あの東名はインフレーション・ターゲティングであるし更にしょぼしょぼする」ということは成り立たない
事実18: もし仮になんらかの物が保ち易いならそれは経済評論家だ
事実19: 「あの東名はインフレーション・ターゲティングだけれどそれはしょぼしょぼしない」ということは事実と異なる
事実20: この住宅金融公庫は大同団結でないかまたはそれは感染ＰＣだ
事実21: とある物が乾癬治療だししかも冷え易い
事実22: もしもこのディザリングが既成宗教であるとすればあの余罪は押し付けがましい
事実23: 仮にそのうつけが生えるということはないとしたらこの最終話はプログラム緊急停止でなくて加えて踏みしだくということはない

仮説: この住宅金融公庫は大同団結でないかあるいは感染ＰＣでないかもしくは両方ともである
1. 事実1と事実19から、推論1: "あの東名は押し付けがましい"が導かれる
2. 推論1と事実12から、推論2: "「あの余罪はサブスクライブする」ということは正しい"が導かれる
3. 推論2と事実14から、仮説が導かれる

よって、仮説が証明されました。