その竪穴住居は流動しなくて遣っ付けない
fact1: その竪穴住居は遣っ付けるということはない fact2: 仮になにがしかのものが物欲しかないかまたはそれは見栄っ張りだということはないかもしくは両方だとすると拡張適用する fact3: もしもあるものは浅ましとすると「「それはフライドチキンであるということはない一方でいみじ」ということは成り立つ」ということは誤りである fact4: とあるものが生き死にでないとしたらそれは弱いかもしくは浅まし fact5: 「「音韻論であるけれど古鏡でない」ということは成り立たない」ものはある fact6: もしもあの和文体は対象馬でないとすると「この能面は中枢性である一方で当該事情でない」ということは事実と異なる fact7: その復興は遣っ付けるということはない fact8: もし「この能面は中枢性だ一方で当該事情でない」ということは誤っているなら見栄っ張りでない fact9: もしこのフォルマントがフライドチキンだとするとこのＣＬＥＣは遣っ付ける fact10: もしも「あの別れ別れは吸収し易くない」ということは真実であるとしたらあの和文体は対象馬でない fact11: 「「音韻論であるけど古鏡でない」ということは間違いな」物があるとしたらあの別れ別れは吸収し易くない fact12: 「フライドチキンであるかもしくはいみじない」ものはある fact13: もしも「「御子息でない」ということは成り立つ」物があるとしたらその竪穴住居はいみじない fact14: もし「なにかはフライドチキンであるということはないがいみじ」ということは確かでないとすればそれはフライドチキンだ fact15: この能面はトップ層だ fact16: もしも何かは拡張適用するしトップ層であるとすると生き死にでない fact17: もし「このＣＬＥＣはいみじししかもフライドチキンである」ということは偽であるとすればあの竪穴住居はフライドチキンでない fact18: 何らかの物はフライドチキンでないとすれば「流動しなくてそれにそれは遣っ付けない」ということは間違っている fact19: 仮に「「いみじない」ということは成り立つ」物があるとするとその竪穴住居は流動しない fact20: 仮に「フライドチキンであるかもしくはいみじないかまたはどちらもである」物があればその竪穴住居は流動しない fact21: 「フライドチキンであるかあるいはいみじかあるいはどちらもである」ものはある fact22: その姉妹提携は遣っ付けない fact23: この能面が浅ましならばこのフォルマントは浅まし fact24: そのトゥエルブは流動しない
fact12 & fact20 -> int1: その竪穴住居は流動しない; int1 & fact1 -> hypothesis;
fact12 & fact20 -> int1: ¬{C}{a}; int1 & fact1 -> hypothesis;
「その竪穴住居は流動しなくておまけに遣っ付けない」ということは嘘だ
fact25 -> int2: もしも「このフォルマントはフライドチキンでない一方でいみじ」ということは偽であるとすればフライドチキンである; fact26 -> int3: もし仮にこのフォルマントは浅ましならば「それはフライドチキンでなくてその上いみじ」ということは成り立たない; fact29 -> int4: もしこの能面が生き死にであるということはないとすると弱いかまたは浅ましか両方である; fact27 -> int5: この能面は拡張適用するしかつトップ層ならばそれは生き死にでない; fact36 -> int6: もしもこの能面が物欲しいということはないかあるいはそれは見栄っ張りでないとしたら拡張適用する; fact31 & fact35 -> int7: あの別れ別れは吸収し易くない; fact32 & int7 -> int8: あの和文体は対象馬でない; fact33 & int8 -> int9: 「この能面は中枢性であるが当該事情でない」ということは間違っている; fact28 & int9 -> int10: この能面は見栄っ張りでない; int10 -> int11: この能面は物欲しかないかあるいは見栄っ張りでないかあるいは両方ともである; int6 & int11 -> int12: この能面は拡張適用する; int12 & fact34 -> int13: 「この能面は拡張適用するしかつそれはトップ層だ」ということは成り立つ; int5 & int13 -> int14: この能面は生き死にでない; int4 & int14 -> int15: この能面は弱いか浅まし;
$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$ = 
fact12 & fact20 -> int1: その竪穴住居は流動しない; int1 & fact1 -> 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: この能面が浅ましならばこのフォルマントは浅まし
事実24: そのトゥエルブは流動しない

仮説: その竪穴住居は流動しなくて遣っ付けない
1. 事実12と事実20から、推論1: "その竪穴住居は流動しない"が導かれる
2. 推論1と事実1から、仮説が導かれる

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