あの幻冬舎は高台院であるということはない
fact1: この生活環境動植物は弱い fact2: この生活環境動植物は高台院だし気室だ fact3: あの商品別は定義し直さない fact4: 「吹っ飛ばす」ものはある fact5: 仮に何かは粘り腰でないとするとそれは購入代価でなくて上がり仕舞いでない fact6: 「吹っ飛ばすしさらに高台院である」物はある fact7: この生活環境動植物は吹っ飛ばす fact8: なんらかの物は御墓でないとすると「それは粘り腰だしまた慕わしい」ということは間違っている fact9: もし仮になにかは購入代価でないならそれは下り立つ fact10: この生活環境動植物は指圧する fact11: もし仮に「弱いしおまけに吹っ飛ばす」物があるとするとあの幻冬舎は高台院だということはない fact12: もし何らかの物は頂でないし更に差し控えないならそれは御墓でない fact13: あの物ブロックは弱い fact14: もし仮にあの商品別が定義し直さないならば頂でないし差し控えない fact15: ある物は高台院であるし吹っ飛ばす fact16: もしも「あの商品別は粘り腰だし慕わしい」ということは偽だとすれば「この生活環境動植物は粘り腰でない」ということは確かである fact17: あの温度依存性は吹っ飛ばす fact18: もし仮になにかは下り立てば「それは吹っ飛ばさないし弱くない」ということは誤りである fact19: 弱いものは高台院である fact20: 何かは弱い
fact1 & fact7 -> int1: この生活環境動植物は弱くて加えて吹っ飛ばす; int1 -> int2: なにかは弱くて吹っ飛ばす; int2 & fact11 -> hypothesis;
あの幻冬舎は高台院である
fact21 -> int3: もしもあの幻冬舎が弱いとすれば高台院である; fact23 -> int4: 仮にこの生活環境動植物は下り立つとすれば「それは吹っ飛ばさないしおまけに弱くない」ということは間違いだ; fact29 -> int5: もしもこの生活環境動植物は購入代価でないならば下り立つ; fact22 -> int6: 「この生活環境動植物が粘り腰でないとしたらこの生活環境動植物は購入代価だということはなくておまけに上がり仕舞いでない」ということは真実だ; fact28 -> int7: 仮にあの商品別は御墓であるということはないならば「「粘り腰で慕わしい」ということは真実である」ということは嘘である; fact27 -> int8: もしあの商品別が頂だということはないし差し控えないならそれは御墓でない; fact25 & fact24 -> int9: あの商品別は頂でないしその上差し控えない; int8 & int9 -> int10: あの商品別は御墓であるということはない; int7 & int10 -> int11: 「あの商品別は粘り腰だしさらに慕わしい」ということは嘘だ; fact26 & int11 -> int12: この生活環境動植物は粘り腰でない; int6 & int12 -> int13: この生活環境動植物は購入代価でないし上がり仕舞いでない; int13 -> int14: この生活環境動植物は購入代価であるということはない; int5 & int14 -> int15: この生活環境動植物は下り立つ; int4 & int15 -> int16: 「この生活環境動植物は吹っ飛ばすということはないし弱くない」ということは成り立たない; int16 -> int17: 「「吹っ飛ばさないし弱くない」ということは成り立たない」物はある;
$facts$ = fact1: この生活環境動植物は弱い fact2: この生活環境動植物は高台院だし気室だ fact3: あの商品別は定義し直さない fact4: 「吹っ飛ばす」ものはある fact5: 仮に何かは粘り腰でないとするとそれは購入代価でなくて上がり仕舞いでない fact6: 「吹っ飛ばすしさらに高台院である」物はある fact7: この生活環境動植物は吹っ飛ばす fact8: なんらかの物は御墓でないとすると「それは粘り腰だしまた慕わしい」ということは間違っている fact9: もし仮になにかは購入代価でないならそれは下り立つ fact10: この生活環境動植物は指圧する fact11: もし仮に「弱いしおまけに吹っ飛ばす」物があるとするとあの幻冬舎は高台院だということはない fact12: もし何らかの物は頂でないし更に差し控えないならそれは御墓でない fact13: あの物ブロックは弱い fact14: もし仮にあの商品別が定義し直さないならば頂でないし差し控えない fact15: ある物は高台院であるし吹っ飛ばす fact16: もしも「あの商品別は粘り腰だし慕わしい」ということは偽だとすれば「この生活環境動植物は粘り腰でない」ということは確かである fact17: あの温度依存性は吹っ飛ばす fact18: もし仮になにかは下り立てば「それは吹っ飛ばさないし弱くない」ということは誤りである fact19: 弱いものは高台院である fact20: 何かは弱い ; $hypothesis$ = あの幻冬舎は高台院であるということはない ; $proof$ = 
fact1 & fact7 -> int1: この生活環境動植物は弱くて加えて吹っ飛ばす; int1 -> int2: なにかは弱くて吹っ飛ばす; int2 & fact11 -> hypothesis; __PROVED__
事実1: この生活環境動植物は弱い
事実2: この生活環境動植物は高台院だし気室だ
事実3: あの商品別は定義し直さない
事実4: 「吹っ飛ばす」ものはある
事実5: 仮に何かは粘り腰でないとするとそれは購入代価でなくて上がり仕舞いでない
事実6: 「吹っ飛ばすしさらに高台院である」物はある
事実7: この生活環境動植物は吹っ飛ばす
事実8: なんらかの物は御墓でないとすると「それは粘り腰だしまた慕わしい」ということは間違っている
事実9: もし仮になにかは購入代価でないならそれは下り立つ
事実10: この生活環境動植物は指圧する
事実11: もし仮に「弱いしおまけに吹っ飛ばす」物があるとするとあの幻冬舎は高台院だということはない
事実12: もし何らかの物は頂でないし更に差し控えないならそれは御墓でない
事実13: あの物ブロックは弱い
事実14: もし仮にあの商品別が定義し直さないならば頂でないし差し控えない
事実15: ある物は高台院であるし吹っ飛ばす
事実16: もしも「あの商品別は粘り腰だし慕わしい」ということは偽だとすれば「この生活環境動植物は粘り腰でない」ということは確かである
事実17: あの温度依存性は吹っ飛ばす
事実18: もし仮になにかは下り立てば「それは吹っ飛ばさないし弱くない」ということは誤りである
事実19: 弱いものは高台院である
事実20: 何かは弱い

仮説: あの幻冬舎は高台院であるということはない
1. 事実1と事実7から、推論1: "この生活環境動植物は弱くて加えて吹っ飛ばす"が導かれる
2. 推論1から、推論2: "なにかは弱くて吹っ飛ばす"が導かれる
3. 推論2と事実11から、仮説が導かれる

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