この麦飯は管腔内であるということはない
fact1: 「そのＢＨＬＨ型転写因子は参加し続けるけどそれは御し易いということはない」ということは成り立たない fact2: もしこの麦飯は舞い下りるとしたら「この最終決断は管腔内である」ということは成り立つ fact3: 仮にとある物が追い落とさないとするとそれは抹消するかまたはそれは十四図だ fact4: もし仮になんらかの物が十四図ならば御し易くない fact5: もし「この最終決断は説明し為さらないけど舞い下りる」ということは本当であるとすれば「そのオンダは統括しない」ということは真実だ fact6: その春陽堂はエコノミーでない fact7: もし仮にその特殊効果が追い落とさないとするとこの麦飯は管腔内だということはない fact8: もし仮に「なんらかの物は解消出来ないし法人化率でない」ということは事実と異なるとすると「法人化率だ」ということは事実だ fact9: もしその春陽堂が十四図でないとするとそのパン紫苑は十四図でないか抹消する fact10: もしもこの最終決断が深しないとしたら説明し為さらないがしかし舞い下りる fact11: その春陽堂が法人化率であるならばそのＢＨＬＨ型転写因子は追い落とすがしかし浮き出さない fact12: もしその春陽堂はエコノミーでないならば「解消出来なくて法人化率でない」ということは間違っている fact13: 仮になにがしかの物が抹消すればそれは御し易いということはない fact14: この最終決断が深しないとしたら舞い下りる fact15: この膝付きは追い落とさないとしたら「その特殊効果は法人化率であるかもしくはそれは追い落とさないかもしくは両方である」ということは真実だ fact16: もし仮に「そのＢＨＬＨ型転写因子は参加し続けなくてその上御し易くない」ということは成り立たないならその春陽堂は十四図でない fact17: もし仮になんらかのものは御し易くないとしたら「それは統括するしまたそれは参加し続ける」ということは偽だ fact18: もし仮に「その特殊効果は法人化率である」ということは間違いでないとしたらこの麦飯は管腔内でない fact19: もしこの最終決断が統括しないとするとこの麦飯は管腔内であるし深し fact20: もしそのパン紫苑が十四図でないか抹消するかまたは両方だとすればこの膝付きは追い落とさない fact21: この最終決断は舞い下りる fact22: 仮にそのＢＨＬＨ型転写因子が追い落とすがしかし浮き出さないならそのオンダは追い落とさない fact23: もしそのオンダは統括しないなら「そのＢＨＬＨ型転写因子は参加し続けるということはないしそれは御し易くない」ということは誤っている fact24: その春陽堂が十四図でないとするとそのパン紫苑は十四図であるか抹消するかもしくは両方ともである fact25: この最終決断は深しない
fact10 & fact25 -> int1: この最終決断は説明し為さらないがそれは舞い下りる; int1 & fact5 -> int2: そのオンダは統括しない; int2 & fact23 -> int3: 「そのＢＨＬＨ型転写因子は参加し続けなくてそれに御し易くない」ということは嘘だ; int3 & fact16 -> int4: その春陽堂は十四図でない; int4 & fact9 -> int5: そのパン紫苑は十四図であるということはないかまたは抹消する; int5 & fact20 -> int6: この膝付きは追い落とさない; int6 & fact15 -> int7: 「その特殊効果は法人化率であるかあるいは追い落とさない」ということは成り立つ; int7 & fact18 & fact7 -> hypothesis;
この麦飯は管腔内である
fact34 -> int8: 仮にそのオンダは御し易いということはないとすると「統括するしまた参加し続ける」ということは誤っている; fact33 -> int9: もしそのオンダが追い落とさないとすれば抹消するかまたは十四図であるかもしくは両方である; fact31 -> int10: 「その春陽堂は解消出来なくて更に法人化率でない」ということは事実と異なれば法人化率である; fact30 & fact32 -> int11: 「その春陽堂は解消出来なくて法人化率でない」ということは成り立つということはない; int10 & int11 -> int12: その春陽堂は法人化率だ; fact35 & int12 -> int13: そのＢＨＬＨ型転写因子は追い落とすが浮き出さない; fact29 & int13 -> int14: そのオンダは追い落とさない; int9 & int14 -> int15: そのオンダは抹消するかもしくは十四図である; fact26 -> int16: もし仮にそのオンダが抹消するとしたらそれは御し易くない; fact28 -> int17: もしそのオンダは十四図であるとするとそれは御し易いということはない; int15 & int16 & int17 -> int18: そのオンダは御し易いということはない; int8 & int18 -> int19: 「そのオンダは統括するしそれは参加し続ける」ということは誤りである; int19 -> int20: 「「統括するし参加し続ける」ということは嘘な」物はある;
$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: その春陽堂が十四図でないとするとそのパン紫苑は十四図であるか抹消するかもしくは両方ともである fact25: この最終決断は深しない ; $hypothesis$ = この麦飯は管腔内であるということはない ; $proof$ = 
fact10 & fact25 -> int1: この最終決断は説明し為さらないがそれは舞い下りる; int1 & fact5 -> int2: そのオンダは統括しない; int2 & fact23 -> int3: 「そのＢＨＬＨ型転写因子は参加し続けなくてそれに御し易くない」ということは嘘だ; int3 & fact16 -> int4: その春陽堂は十四図でない; int4 & fact9 -> int5: そのパン紫苑は十四図であるということはないかまたは抹消する; int5 & fact20 -> int6: この膝付きは追い落とさない; int6 & fact15 -> int7: 「その特殊効果は法人化率であるかあるいは追い落とさない」ということは成り立つ; int7 & fact18 & fact7 -> 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: その春陽堂が十四図でないとするとそのパン紫苑は十四図であるか抹消するかもしくは両方ともである
事実25: この最終決断は深しない

仮説: この麦飯は管腔内であるということはない
1. 事実10と事実25から、推論1: "この最終決断は説明し為さらないがそれは舞い下りる"が導かれる
2. 推論1と事実5から、推論2: "そのオンダは統括しない"が導かれる
3. 推論2と事実23から、推論3: "「そのＢＨＬＨ型転写因子は参加し続けなくてそれに御し易くない」ということは嘘だ"が導かれる
4. 推論3と事実16から、推論4: "その春陽堂は十四図でない"が導かれる
5. 推論4と事実9から、推論5: "そのパン紫苑は十四図であるということはないかまたは抹消する"が導かれる
6. 推論5と事実20から、推論6: "この膝付きは追い落とさない"が導かれる
7. 推論6と事実15から、推論7: "「その特殊効果は法人化率であるかあるいは追い落とさない」ということは成り立つ"が導かれる
8. 推論7と事実18と事実7から、仮説が導かれる

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