あの天使は混入し易くないがしかし館主である
fact1: 仮にこの縮減が越前藩中屋敷でないし初々しかないとしたらあの天使は初々しかない fact2: もしその合理がプロダクト・モデルでないしさらに一．四．一でないとすればこの縮減はプロダクト・モデルである fact3: もしこの縮減は館主でないとすると「その媒介手段は初々しかないけど都会だ」ということは偽である fact4: 「「反転項目であるがしかし再燃しない」ということは間違いである」物はある fact5: もしもこの縮減は館主であるとすると「あの天使は初々しかない一方で混入し易い」ということは正しくない fact6: 仮に「「館主であるししかも混入し易くない」ということは成り立たない」ものがあるとするとあの天使は初々しい fact7: もし仮に「「反転項目で再燃しない」ということは誤っている」ものがあるならばあの縮減は初々しい fact8: 「もしこの縮減は初々しいとすれば「あの天使は混入し易くない一方で館主だ」ということは誤りである」ということは確かだ fact9: もし何らかのものは華々しいとすると「取り払うかそれは物々しかない」ということは成り立たない fact10: 仮にとあるものはプロダクト・モデルであるとすれば越前藩中屋敷だということはない fact11: その合理は恥ずかしない fact12: もし仮に「あのコア・コレクションインタフェースは取り払うかまたは物々しかないかどちらもだ」ということは間違いなら一．四．一でない fact13: 仮にあの天使が館主でないがしかしプロダクト・モデルならばあの縮減は館主でない fact14: 「「反転項目であるし再燃する」ということは間違いである」ものはある fact15: とある物が初々しかないとするとそれは混入し易くない一方で館主だ fact16: 仮に「再燃する」ものがあるとするとこの縮減は初々しい fact17: 恥ずかしない物はプロダクト・モデルでないしさらに一．四．一でない fact18: 混入し易い物は館主でないけどプロダクト・モデルだ
fact4 & fact7 -> int1: この縮減は初々しい; int1 & fact8 -> hypothesis;
fact4 & fact7 -> int1: {A}{a}; int1 & fact8 -> hypothesis;
あの天使は混入し易いということはない一方で館主である
fact24 -> int2: もし仮にあの天使が初々しかないとすれば混入し易くないけど館主だ; fact19 -> int3: この縮減がプロダクト・モデルだとするとそれは越前藩中屋敷でない; fact21 -> int4: 「その合理は恥ずかしない」ということは真実だとすればそれはプロダクト・モデルでないしおまけにそれは一．四．一でない; int4 & fact22 -> int5: その合理はプロダクト・モデルでないしそれは一．四．一だということはない; fact23 & int5 -> int6: この縮減はプロダクト・モデルだ; int3 & int6 -> int7: 「この縮減は越前藩中屋敷でない」ということは事実だ;
$facts$ = fact1: 仮にこの縮減が越前藩中屋敷でないし初々しかないとしたらあの天使は初々しかない fact2: もしその合理がプロダクト・モデルでないしさらに一．四．一でないとすればこの縮減はプロダクト・モデルである fact3: もしこの縮減は館主でないとすると「その媒介手段は初々しかないけど都会だ」ということは偽である fact4: 「「反転項目であるがしかし再燃しない」ということは間違いである」物はある fact5: もしもこの縮減は館主であるとすると「あの天使は初々しかない一方で混入し易い」ということは正しくない fact6: 仮に「「館主であるししかも混入し易くない」ということは成り立たない」ものがあるとするとあの天使は初々しい fact7: もし仮に「「反転項目で再燃しない」ということは誤っている」ものがあるならばあの縮減は初々しい fact8: 「もしこの縮減は初々しいとすれば「あの天使は混入し易くない一方で館主だ」ということは誤りである」ということは確かだ fact9: もし何らかのものは華々しいとすると「取り払うかそれは物々しかない」ということは成り立たない fact10: 仮にとあるものはプロダクト・モデルであるとすれば越前藩中屋敷だということはない fact11: その合理は恥ずかしない fact12: もし仮に「あのコア・コレクションインタフェースは取り払うかまたは物々しかないかどちらもだ」ということは間違いなら一．四．一でない fact13: 仮にあの天使が館主でないがしかしプロダクト・モデルならばあの縮減は館主でない fact14: 「「反転項目であるし再燃する」ということは間違いである」ものはある fact15: とある物が初々しかないとするとそれは混入し易くない一方で館主だ fact16: 仮に「再燃する」ものがあるとするとこの縮減は初々しい fact17: 恥ずかしない物はプロダクト・モデルでないしさらに一．四．一でない fact18: 混入し易い物は館主でないけどプロダクト・モデルだ ; $hypothesis$ = あの天使は混入し易くないがしかし館主である ; $proof$ = 
fact4 & fact7 -> int1: この縮減は初々しい; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にこの縮減が越前藩中屋敷でないし初々しかないとしたらあの天使は初々しかない
事実2: もしその合理がプロダクト・モデルでないしさらに一．四．一でないとすればこの縮減はプロダクト・モデルである
事実3: もしこの縮減は館主でないとすると「その媒介手段は初々しかないけど都会だ」ということは偽である
事実4: 「「反転項目であるがしかし再燃しない」ということは間違いである」物はある
事実5: もしもこの縮減は館主であるとすると「あの天使は初々しかない一方で混入し易い」ということは正しくない
事実6: 仮に「「館主であるししかも混入し易くない」ということは成り立たない」ものがあるとするとあの天使は初々しい
事実7: もし仮に「「反転項目で再燃しない」ということは誤っている」ものがあるならばあの縮減は初々しい
事実8: 「もしこの縮減は初々しいとすれば「あの天使は混入し易くない一方で館主だ」ということは誤りである」ということは確かだ
事実9: もし何らかのものは華々しいとすると「取り払うかそれは物々しかない」ということは成り立たない
事実10: 仮にとあるものはプロダクト・モデルであるとすれば越前藩中屋敷だということはない
事実11: その合理は恥ずかしない
事実12: もし仮に「あのコア・コレクションインタフェースは取り払うかまたは物々しかないかどちらもだ」ということは間違いなら一．四．一でない
事実13: 仮にあの天使が館主でないがしかしプロダクト・モデルならばあの縮減は館主でない
事実14: 「「反転項目であるし再燃する」ということは間違いである」ものはある
事実15: とある物が初々しかないとするとそれは混入し易くない一方で館主だ
事実16: 仮に「再燃する」ものがあるとするとこの縮減は初々しい
事実17: 恥ずかしない物はプロダクト・モデルでないしさらに一．四．一でない
事実18: 混入し易い物は館主でないけどプロダクト・モデルだ

仮説: あの天使は混入し易くないがしかし館主である
1. 事実4と事実7から、推論1: "この縮減は初々しい"が導かれる
2. 推論1と事実8から、仮説が否定される

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