あの身体論は長いしそれに誇りっぽい
fact1: 「あの身体論は支持組織だ」ということは確かだ fact2: あの身体論は受け入れ易い fact3: もし仮にその女郎花が食べ応えであるとするとあの身体論は誇りっぽい fact4: 受け難くないものは受け入れ易いし更に支持組織だ fact5: この言語使用者はさ迷わない fact6: もしこの勤王家は当て付けがましいとしたら「現地入りしなくてしかも騒がしくない」ということは真実でない fact7: もしも「あの身体論はみっとも可愛くないかまたは受け入れ易いかもしくは両方だ」ということは成り立たないならば長い fact8: もしなんらかのものは支持組織であるなら「みっとも可愛くないかまたはそれは受け入れ易くないか両方だ」ということは事実と異なる fact9: 「あの身体論は当て付けがましいということはないかあるいは騒がしくない」ということは間違いであるとすればみっとも可愛い fact10: もしもこの言語使用者はさ迷わないなら消化し難いかもしくは異相であるかまたは両方ともである fact11: 仮にこの勤王家は当て付けがましいならば「それは現地入りするがしかし騒がしくない」ということは正しくない fact12: その女郎花は騒がしい fact13: ある物は受け入れ易いとしたら「みっとも可愛いけれど食べ応えでない」ということは偽である fact14: その女郎花が訴えるけど受け難くないとすればあの勤王家は受け難いということはない fact15: 「この勤王家は現地入りするということはないけれどそれは騒がしい」ということは確かでない fact16: 仮に「とある物はみっとも可愛いということはないか受け入れ易くないかまたはどちらもである」ということは真実でないとするとそれは長い fact17: 仮に「この勤王家は現地入りしないしおまけにそれは騒がしくない」ということは誤っていればその女郎花は食べ応えだ fact18: もし「この勤王家はみっとも可愛いがしかし食べ応えでない」ということは誤っているとしたら「それが当て付けはましくらない」ということは確かだ fact19: 当て付けがましくらないものは長くない fact20: もしその女郎花が沙汰するならそれは訴えるし受け難くない fact21: もしも「この言語使用者は消化し難い」ということは本当であるとすればあの女郎花は沙汰する fact22: この勤王家は当て付けがましい
fact6 & fact22 -> int1: 「この勤王家は現地入りするということはないし騒がしいということはない」ということは事実と異なる; int1 & fact17 -> int2: その女郎花は食べ応えだ; int2 & fact3 -> int3: あの身体論は誇りっぽい; fact8 -> int4: もし仮にあの身体論は支持組織なら「それはみっとも可愛くないかそれは受け入れ易いということはないかまたはどちらもである」ということは間違いだ; fact1 & int4 -> int5: 「あの身体論はみっとも可愛くないか受け入れ易くないかもしくは両方である」ということは事実と異なる; fact16 -> int6: もし仮に「あの身体論はみっとも可愛くないかもしくは受け入れ易くないかあるいは両方ともだ」ということは成り立つということはないならば「長い」ということは事実だ; int5 & int6 -> int7: あの身体論は長い; int3 & int7 -> hypothesis;
「あの身体論は長いしその上誇りっぽい」ということは確かであるということはない
fact31 -> int8: もし仮にこの勤王家が当て付けがましいということはないとすれば長くない; fact28 -> int9: この勤王家は受け入れ易いとしたら「それはみっとも可愛くてかつそれは食べ応えでない」ということは誤りである; fact27 -> int10: もし仮にこの勤王家は受け難くないならば「受け入れ易くてそれは支持組織である」ということは事実だ; fact29 & fact26 -> int11: この言語使用者は消化し難いかそれは異相であるかもしくは両方だ;
$facts$ = fact1: 「あの身体論は支持組織だ」ということは確かだ fact2: あの身体論は受け入れ易い fact3: もし仮にその女郎花が食べ応えであるとするとあの身体論は誇りっぽい fact4: 受け難くないものは受け入れ易いし更に支持組織だ fact5: この言語使用者はさ迷わない fact6: もしこの勤王家は当て付けがましいとしたら「現地入りしなくてしかも騒がしくない」ということは真実でない fact7: もしも「あの身体論はみっとも可愛くないかまたは受け入れ易いかもしくは両方だ」ということは成り立たないならば長い fact8: もしなんらかのものは支持組織であるなら「みっとも可愛くないかまたはそれは受け入れ易くないか両方だ」ということは事実と異なる fact9: 「あの身体論は当て付けがましいということはないかあるいは騒がしくない」ということは間違いであるとすればみっとも可愛い fact10: もしもこの言語使用者はさ迷わないなら消化し難いかもしくは異相であるかまたは両方ともである fact11: 仮にこの勤王家は当て付けがましいならば「それは現地入りするがしかし騒がしくない」ということは正しくない fact12: その女郎花は騒がしい fact13: ある物は受け入れ易いとしたら「みっとも可愛いけれど食べ応えでない」ということは偽である fact14: その女郎花が訴えるけど受け難くないとすればあの勤王家は受け難いということはない fact15: 「この勤王家は現地入りするということはないけれどそれは騒がしい」ということは確かでない fact16: 仮に「とある物はみっとも可愛いということはないか受け入れ易くないかまたはどちらもである」ということは真実でないとするとそれは長い fact17: 仮に「この勤王家は現地入りしないしおまけにそれは騒がしくない」ということは誤っていればその女郎花は食べ応えだ fact18: もし「この勤王家はみっとも可愛いがしかし食べ応えでない」ということは誤っているとしたら「それが当て付けはましくらない」ということは確かだ fact19: 当て付けがましくらないものは長くない fact20: もしその女郎花が沙汰するならそれは訴えるし受け難くない fact21: もしも「この言語使用者は消化し難い」ということは本当であるとすればあの女郎花は沙汰する fact22: この勤王家は当て付けがましい ; $hypothesis$ = あの身体論は長いしそれに誇りっぽい ; $proof$ = 
fact6 & fact22 -> int1: 「この勤王家は現地入りするということはないし騒がしいということはない」ということは事実と異なる; int1 & fact17 -> int2: その女郎花は食べ応えだ; int2 & fact3 -> int3: あの身体論は誇りっぽい; fact8 -> int4: もし仮にあの身体論は支持組織なら「それはみっとも可愛くないかそれは受け入れ易いということはないかまたはどちらもである」ということは間違いだ; fact1 & int4 -> int5: 「あの身体論はみっとも可愛くないか受け入れ易くないかもしくは両方である」ということは事実と異なる; fact16 -> int6: もし仮に「あの身体論はみっとも可愛くないかもしくは受け入れ易くないかあるいは両方ともだ」ということは成り立つということはないならば「長い」ということは事実だ; int5 & int6 -> int7: あの身体論は長い; int3 & int7 -> hypothesis; __PROVED__
事実1: 「あの身体論は支持組織だ」ということは確かだ
事実2: あの身体論は受け入れ易い
事実3: もし仮にその女郎花が食べ応えであるとするとあの身体論は誇りっぽい
事実4: 受け難くないものは受け入れ易いし更に支持組織だ
事実5: この言語使用者はさ迷わない
事実6: もしこの勤王家は当て付けがましいとしたら「現地入りしなくてしかも騒がしくない」ということは真実でない
事実7: もしも「あの身体論はみっとも可愛くないかまたは受け入れ易いかもしくは両方だ」ということは成り立たないならば長い
事実8: もしなんらかのものは支持組織であるなら「みっとも可愛くないかまたはそれは受け入れ易くないか両方だ」ということは事実と異なる
事実9: 「あの身体論は当て付けがましいということはないかあるいは騒がしくない」ということは間違いであるとすればみっとも可愛い
事実10: もしもこの言語使用者はさ迷わないなら消化し難いかもしくは異相であるかまたは両方ともである
事実11: 仮にこの勤王家は当て付けがましいならば「それは現地入りするがしかし騒がしくない」ということは正しくない
事実12: その女郎花は騒がしい
事実13: ある物は受け入れ易いとしたら「みっとも可愛いけれど食べ応えでない」ということは偽である
事実14: その女郎花が訴えるけど受け難くないとすればあの勤王家は受け難いということはない
事実15: 「この勤王家は現地入りするということはないけれどそれは騒がしい」ということは確かでない
事実16: 仮に「とある物はみっとも可愛いということはないか受け入れ易くないかまたはどちらもである」ということは真実でないとするとそれは長い
事実17: 仮に「この勤王家は現地入りしないしおまけにそれは騒がしくない」ということは誤っていればその女郎花は食べ応えだ
事実18: もし「この勤王家はみっとも可愛いがしかし食べ応えでない」ということは誤っているとしたら「それが当て付けはましくらない」ということは確かだ
事実19: 当て付けがましくらないものは長くない
事実20: もしその女郎花が沙汰するならそれは訴えるし受け難くない
事実21: もしも「この言語使用者は消化し難い」ということは本当であるとすればあの女郎花は沙汰する
事実22: この勤王家は当て付けがましい

仮説: あの身体論は長いしそれに誇りっぽい
1. 事実6と事実22から、推論1: "「この勤王家は現地入りするということはないし騒がしいということはない」ということは事実と異なる"が導かれる
2. 推論1と事実17から、推論2: "その女郎花は食べ応えだ"が導かれる
3. 推論2と事実3から、推論3: "あの身体論は誇りっぽい"が導かれる
4. 事実8から、推論4: "もし仮にあの身体論は支持組織なら「それはみっとも可愛くないかそれは受け入れ易いということはないかまたはどちらもである」ということは間違いだ"が導かれる
5. 事実1と推論4から、推論5: "「あの身体論はみっとも可愛くないか受け入れ易くないかもしくは両方である」ということは事実と異なる"が導かれる
6. 事実16から、推論6: "もし仮に「あの身体論はみっとも可愛くないかもしくは受け入れ易くないかあるいは両方ともだ」ということは成り立つということはないならば「長い」ということは事実だ"が導かれる
7. 推論5と推論6から、推論7: "あの身体論は長い"が導かれる
8. 推論3と推論7から、仮説が導かれる

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