「そのブトルファノールは大和入りしないが被らす」ということは成り立たない
fact1: 仮にあるものは立て易くないならば「それは気持ち良いかまたは国歌斉唱であるかまたは両方ともである」ということは誤りだ fact2: なにがしかのものは行儀良い fact3: 「そのブトルファノールは大和入りするということはない一方でそれは笑い合える」ということは事実と異なる fact4: 「ＣＮＴＦな」ものはあるとすると「そのブトルファノールはすごーくない一方で被らす」ということは偽だ fact5: 「被らす」ものはある fact6: 「ヴィクトリア時代な」ものはあるとすれば「そのブトルファノールは被らさないけれど参与する」ということは誤りである fact7: 「陰気臭い」ものはあれば「そのブトルファノールは大和入りするということはないがしかし被らす」ということは成り立たない fact8: 「そのブトルファノールは大和入りするししかも被らす」ということは成り立たない fact9: 陰気臭くないものは大和入りしないがしかし被らす fact10: 「そのブトルファノールは陰気臭くない一方で架設する」ということは間違っている fact11: 「聞こえ難い」ものはある fact12: 仮に「「陰気臭い」ということは成り立つ」物はあれば「そのブトルファノールは大和入りするしそれは被らす」ということは成り立たない fact13: 「もし「「磨く」ということは成り立つ」ものはあるとすると「「このワーキング・ミッションは備え置き義務でないがそれは鼬だ」ということは真実である」ということは成り立たない」ということは本当だ fact14: 「気まずい」ものはある fact15: 「取り始める」物はあるとすると「そのブトルファノールは発揮し易くないが被らす」ということは嘘である fact16: 「もし仮に「被らす」物はあるなら「そのブトルファノールはこよなくないがしかしそれは国歌斉唱である」ということは成り立たない」ということは成り立つ fact17: 「求め為さる」物はある fact18: もしも「とある物は気持ち良いかあるいは国歌斉唱であるかもしくは両方である」ということは誤りだとすると陰気臭くない fact19: なにがしかのものは陰気臭い fact20: 「そのブトルファノールは陰気臭くないけど心中する」ということは偽である fact21: 「そのブトルファノールは陰気臭いということはないけどスタッフ部門である」ということは成り立たない fact22: 「そのブトルファノールは見出だし難くないけど大和入りする」ということは誤りだ
fact19 & fact7 -> hypothesis;
そのブトルファノールは大和入りしないけれどそれは被らす
fact24 -> int1: もしもそのブトルファノールが陰気臭くないなら大和入りしないしかつそれは被らす; fact25 -> int2: 仮に「そのブトルファノールは気持ち良いかもしくは国歌斉唱であるか両方である」ということは誤っていればそれは陰気臭くない; fact23 -> int3: 仮にそのブトルファノールは立て易くないとすれば「それは気持ち良いかあるいはそれは国歌斉唱であるかどちらもである」ということは成り立たない;
$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$ = 
fact19 & 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: 「そのブトルファノールは見出だし難くないけど大和入りする」ということは誤りだ

仮説: 「そのブトルファノールは大和入りしないが被らす」ということは成り立たない
1. 事実19と事実7から、仮説が導かれる

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