「このプレイメイトは弱い」ということは成り立つ
fact1: もしあの音声共鳴が弱いということはないが擦り抜けるとすればこのプレイメイトは弱くない fact2: 仮になにがしかの物は擦り抜けないとしたら「それは保有出来る」ということは成り立つ fact3: もしこのプレイメイトが擦り抜けるということはないとすれば保有出来る fact4: このプレイメイトは保有出来る fact5: もし「このプレイメイトは大名領国でないかまたはそれはふてぶてしくないかもしくは両方ともである」ということは事実と異なるとするとそれは擦り抜けない fact6: もしも「このプレイメイトは大名領国でないかまたはふてぶてしい」ということは嘘であるならばそれは擦り抜けない fact7: もし仮にこのプレイメイトは実行文でないならば「あの支え木は保有出来るしかつ擦り抜ける」ということは間違いである fact8: このプレイメイトはふてぶてしい fact9: 「このプレイメイトは大名領国でないかまたはふてぶてしくないかあるいは両方である」ということは間違っている fact10: もしとあるものが擦り抜けないならば保有出来るし加えて弱い fact11: もしも「このプレイメイトは大名領国でないか押し包まない」ということは成り立たないとすると「それは中卒者でない」ということは正しい fact12: もしあの音声共鳴が授業者でないとしたらこのプレイメイトは伐出で嫉妬深い fact13: もしこのプレイメイトが伐出ならそれは修復すけれど実行文でない fact14: 仮にとある物が保有出来ないとすればそれが弱いということはないしさらに擦り抜ける
fact5 & fact9 -> int1: このプレイメイトは擦り抜けない; fact10 -> int2: もし仮にこのプレイメイトが擦り抜けるということはないとしたらそれは保有出来るしまた弱い; int1 & int2 -> int3: このプレイメイトは保有出来るし弱い; int3 -> hypothesis;
あの支え木は弱くない
$facts$ = fact1: もしあの音声共鳴が弱いということはないが擦り抜けるとすればこのプレイメイトは弱くない fact2: 仮になにがしかの物は擦り抜けないとしたら「それは保有出来る」ということは成り立つ fact3: もしこのプレイメイトが擦り抜けるということはないとすれば保有出来る fact4: このプレイメイトは保有出来る fact5: もし「このプレイメイトは大名領国でないかまたはそれはふてぶてしくないかもしくは両方ともである」ということは事実と異なるとするとそれは擦り抜けない fact6: もしも「このプレイメイトは大名領国でないかまたはふてぶてしい」ということは嘘であるならばそれは擦り抜けない fact7: もし仮にこのプレイメイトは実行文でないならば「あの支え木は保有出来るしかつ擦り抜ける」ということは間違いである fact8: このプレイメイトはふてぶてしい fact9: 「このプレイメイトは大名領国でないかまたはふてぶてしくないかあるいは両方である」ということは間違っている fact10: もしとあるものが擦り抜けないならば保有出来るし加えて弱い fact11: もしも「このプレイメイトは大名領国でないか押し包まない」ということは成り立たないとすると「それは中卒者でない」ということは正しい fact12: もしあの音声共鳴が授業者でないとしたらこのプレイメイトは伐出で嫉妬深い fact13: もしこのプレイメイトが伐出ならそれは修復すけれど実行文でない fact14: 仮にとある物が保有出来ないとすればそれが弱いということはないしさらに擦り抜ける ; $hypothesis$ = 「このプレイメイトは弱い」ということは成り立つ ; $proof$ = 
fact5 & fact9 -> int1: このプレイメイトは擦り抜けない; fact10 -> int2: もし仮にこのプレイメイトが擦り抜けるということはないとしたらそれは保有出来るしまた弱い; int1 & int2 -> int3: このプレイメイトは保有出来るし弱い; int3 -> hypothesis; __PROVED__
事実1: もしあの音声共鳴が弱いということはないが擦り抜けるとすればこのプレイメイトは弱くない
事実2: 仮になにがしかの物は擦り抜けないとしたら「それは保有出来る」ということは成り立つ
事実3: もしこのプレイメイトが擦り抜けるということはないとすれば保有出来る
事実4: このプレイメイトは保有出来る
事実5: もし「このプレイメイトは大名領国でないかまたはそれはふてぶてしくないかもしくは両方ともである」ということは事実と異なるとするとそれは擦り抜けない
事実6: もしも「このプレイメイトは大名領国でないかまたはふてぶてしい」ということは嘘であるならばそれは擦り抜けない
事実7: もし仮にこのプレイメイトは実行文でないならば「あの支え木は保有出来るしかつ擦り抜ける」ということは間違いである
事実8: このプレイメイトはふてぶてしい
事実9: 「このプレイメイトは大名領国でないかまたはふてぶてしくないかあるいは両方である」ということは間違っている
事実10: もしとあるものが擦り抜けないならば保有出来るし加えて弱い
事実11: もしも「このプレイメイトは大名領国でないか押し包まない」ということは成り立たないとすると「それは中卒者でない」ということは正しい
事実12: もしあの音声共鳴が授業者でないとしたらこのプレイメイトは伐出で嫉妬深い
事実13: もしこのプレイメイトが伐出ならそれは修復すけれど実行文でない
事実14: 仮にとある物が保有出来ないとすればそれが弱いということはないしさらに擦り抜ける

仮説: 「このプレイメイトは弱い」ということは成り立つ
1. 事実5と事実9から、推論1: "このプレイメイトは擦り抜けない"が導かれる
2. 事実10から、推論2: "もし仮にこのプレイメイトが擦り抜けるということはないとしたらそれは保有出来るしまた弱い"が導かれる
3. 推論1と推論2から、推論3: "このプレイメイトは保有出来るし弱い"が導かれる
4. 推論3から、仮説が導かれる

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