「その強固さは戯けるがそれは押し過ぎない」ということは誤りだ
fact1: なんらかのものは植林しないかもしくは心地良くないかもしくは両方ともだ fact2: 仮にこの特急料金が黒くないならその乳製は描き易い fact3: もしもその乳製が伊賀忍び組だし描き易いとしたらあの仮面鬱病はトタン板でない fact4: もしもあの仮面鬱病が分離し易いがトタン板でないならあの粟はかったるい fact5: もし仮にあの粟はエンテロウイルス感染症でないなら「その強固さは戯けるけれど押し過ぎない」ということは成り立たない fact6: 黒いということはないものは植林するしそれに心地良い fact7: もしもこの特急料金が黒くないならばその乳製は伊賀忍び組であるしかつ描き易い fact8: 「植林するということはないかあるいは心地良いかもしくは両方ともな」ものはある fact9: もし仮に「植林しない」ものがあるとしたらこの特急料金は黒いということはない fact10: 「あの仮面鬱病はカリウム制限だ」ということは本当である fact11: 仮になにがしかの物が植林するとすると戯けるがしかし押し過ぎない fact12: かったるいものはエンテロウイルス感染症でない fact13: 「カリウム制限は答え難い」ということは真実である fact14: 答え難いものは分離し易い fact15: もしも何らかの物が植林しないか心地良くないかあるいは両方だとすればこの特急料金は黒くない fact16: もしも「その強固さは黒いがしかし伊賀忍び組でない」ということは真実だということはないとするとそれは黒くない
fact1 & fact15 -> int1: この特急料金は黒いということはない; int1 & fact7 -> int2: その乳製は伊賀忍び組だし加えて描き易い; int2 & fact3 -> int3: 「あの仮面鬱病はトタン板でない」ということは確かである; fact14 -> int4: あの仮面鬱病が答え難いとすれば分離し易い; fact13 -> int5: もしもあの仮面鬱病はカリウム制限であるとしたら「それは答え難い」ということは間違っていない; int5 & fact10 -> int6: あの仮面鬱病は答え難い; int4 & int6 -> int7: あの仮面鬱病は分離し易い; int3 & int7 -> int8: あの仮面鬱病は分離し易いけれどそれはトタン板でない; int8 & fact4 -> int9: あの粟はかったるい; fact12 -> int10: もし仮にあの粟がかったるいとするとエンテロウイルス感染症でない; int9 & int10 -> int11: 「あの粟はエンテロウイルス感染症でない」ということは事実である; int11 & fact5 -> hypothesis;
その強固さは戯ける一方で押し過ぎない
fact17 -> int12: もしもその強固さが植林するならそれは戯けるし押し過ぎない; fact19 -> int13: もしもその強固さが黒くないならば植林するし加えてそれは心地良い;
$facts$ = fact1: なんらかのものは植林しないかもしくは心地良くないかもしくは両方ともだ fact2: 仮にこの特急料金が黒くないならその乳製は描き易い fact3: もしもその乳製が伊賀忍び組だし描き易いとしたらあの仮面鬱病はトタン板でない fact4: もしもあの仮面鬱病が分離し易いがトタン板でないならあの粟はかったるい fact5: もし仮にあの粟はエンテロウイルス感染症でないなら「その強固さは戯けるけれど押し過ぎない」ということは成り立たない fact6: 黒いということはないものは植林するしそれに心地良い fact7: もしもこの特急料金が黒くないならばその乳製は伊賀忍び組であるしかつ描き易い fact8: 「植林するということはないかあるいは心地良いかもしくは両方ともな」ものはある fact9: もし仮に「植林しない」ものがあるとしたらこの特急料金は黒いということはない fact10: 「あの仮面鬱病はカリウム制限だ」ということは本当である fact11: 仮になにがしかの物が植林するとすると戯けるがしかし押し過ぎない fact12: かったるいものはエンテロウイルス感染症でない fact13: 「カリウム制限は答え難い」ということは真実である fact14: 答え難いものは分離し易い fact15: もしも何らかの物が植林しないか心地良くないかあるいは両方だとすればこの特急料金は黒くない fact16: もしも「その強固さは黒いがしかし伊賀忍び組でない」ということは真実だということはないとするとそれは黒くない ; $hypothesis$ = 「その強固さは戯けるがそれは押し過ぎない」ということは誤りだ ; $proof$ = 
fact1 & fact15 -> int1: この特急料金は黒いということはない; int1 & fact7 -> int2: その乳製は伊賀忍び組だし加えて描き易い; int2 & fact3 -> int3: 「あの仮面鬱病はトタン板でない」ということは確かである; fact14 -> int4: あの仮面鬱病が答え難いとすれば分離し易い; fact13 -> int5: もしもあの仮面鬱病はカリウム制限であるとしたら「それは答え難い」ということは間違っていない; int5 & fact10 -> int6: あの仮面鬱病は答え難い; int4 & int6 -> int7: あの仮面鬱病は分離し易い; int3 & int7 -> int8: あの仮面鬱病は分離し易いけれどそれはトタン板でない; int8 & fact4 -> int9: あの粟はかったるい; fact12 -> int10: もし仮にあの粟がかったるいとするとエンテロウイルス感染症でない; int9 & int10 -> int11: 「あの粟はエンテロウイルス感染症でない」ということは事実である; int11 & fact5 -> hypothesis; __PROVED__
事実1: なんらかのものは植林しないかもしくは心地良くないかもしくは両方ともだ
事実2: 仮にこの特急料金が黒くないならその乳製は描き易い
事実3: もしもその乳製が伊賀忍び組だし描き易いとしたらあの仮面鬱病はトタン板でない
事実4: もしもあの仮面鬱病が分離し易いがトタン板でないならあの粟はかったるい
事実5: もし仮にあの粟はエンテロウイルス感染症でないなら「その強固さは戯けるけれど押し過ぎない」ということは成り立たない
事実6: 黒いということはないものは植林するしそれに心地良い
事実7: もしもこの特急料金が黒くないならばその乳製は伊賀忍び組であるしかつ描き易い
事実8: 「植林するということはないかあるいは心地良いかもしくは両方ともな」ものはある
事実9: もし仮に「植林しない」ものがあるとしたらこの特急料金は黒いということはない
事実10: 「あの仮面鬱病はカリウム制限だ」ということは本当である
事実11: 仮になにがしかの物が植林するとすると戯けるがしかし押し過ぎない
事実12: かったるいものはエンテロウイルス感染症でない
事実13: 「カリウム制限は答え難い」ということは真実である
事実14: 答え難いものは分離し易い
事実15: もしも何らかの物が植林しないか心地良くないかあるいは両方だとすればこの特急料金は黒くない
事実16: もしも「その強固さは黒いがしかし伊賀忍び組でない」ということは真実だということはないとするとそれは黒くない

仮説: 「その強固さは戯けるがそれは押し過ぎない」ということは誤りだ
1. 事実1と事実15から、推論1: "この特急料金は黒いということはない"が導かれる
2. 推論1と事実7から、推論2: "その乳製は伊賀忍び組だし加えて描き易い"が導かれる
3. 推論2と事実3から、推論3: "「あの仮面鬱病はトタン板でない」ということは確かである"が導かれる
4. 事実14から、推論4: "あの仮面鬱病が答え難いとすれば分離し易い"が導かれる
5. 事実13から、推論5: "もしもあの仮面鬱病はカリウム制限であるとしたら「それは答え難い」ということは間違っていない"が導かれる
6. 推論5と事実10から、推論6: "あの仮面鬱病は答え難い"が導かれる
7. 推論4と推論6から、推論7: "あの仮面鬱病は分離し易い"が導かれる
8. 推論3と推論7から、推論8: "あの仮面鬱病は分離し易いけれどそれはトタン板でない"が導かれる
9. 推論8と事実4から、推論9: "あの粟はかったるい"が導かれる
10. 事実12から、推論10: "もし仮にあの粟がかったるいとするとエンテロウイルス感染症でない"が導かれる
11. 推論9と推論10から、推論11: "「あの粟はエンテロウイルス感染症でない」ということは事実である"が導かれる
12. 推論11と事実5から、仮説が導かれる

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