もし「そのモデル達は取っ捕まえない一方で弱々しい」ということは誤りだとするとあの三資企業は阻む
fact1: もしそのモデル達は取っ捕まえるということはないが弱々しいなら怖ーい fact2: 仮になにがしかのものは取っ捕まえないけど阻むとすればそれは弱々しい fact3: 「そのモデル達は取っ捕まえる」ということは確かだ fact4: 仮に「「とある物は取っ捕まえないけれどそれは弱々しい」ということは真実だ」ということは嘘であるとすると怖ーい fact5: 弱々しかない物は怖ーい fact6: もしも「なにかは取っ捕まえるし加えて弱々しい」ということは間違いならばそれは怖ーい fact7: あの三資企業は弱々しい fact8: 「そのモデル達は取っ捕まえるしそれに弱々しい」ということは嘘ならあの三資企業は阻む fact9: もしも「そのモデル達は弱々しかない」ということは真実ならば怖ーい fact10: もし「そのモデル達は取っ捕まえるし弱々しい」ということは間違いであるとすれば「怖ーい」ということは成り立つ fact11: 仮にそのモデル達が弱々しかないとすればあの三資企業は阻む fact12: 仮にそのモデル達が阻まないけれどそれが取っ捕まえるとしたらあの三資企業は弱々しい fact13: そのモデル達が取っ捕まえるということはないけど弱々しいならばあの三資企業は阻む fact14: 仮にそのモデル達が怖ーいとするとあの三資企業は阻む fact15: 「「あの三資企業は弱々しくてＷＨＯだ」ということは真実である」ということは間違っている
fact4 -> int1: もしも「「そのモデル達は取っ捕まえないけれど弱々しい」ということは成り立つ」ということは事実と異なるとしたら怖ーい; void -> assump1: 以下のように仮定する。「そのモデル達は取っ捕まえないがしかし弱々しい」ということは成り立たない; int1 & assump1 -> int2: そのモデル達は怖ーい; int2 & fact14 -> int3: 「あの三資企業は阻む」ということは正しい; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしそのモデル達は取っ捕まえるということはないが弱々しいなら怖ーい fact2: 仮になにがしかのものは取っ捕まえないけど阻むとすればそれは弱々しい fact3: 「そのモデル達は取っ捕まえる」ということは確かだ fact4: 仮に「「とある物は取っ捕まえないけれどそれは弱々しい」ということは真実だ」ということは嘘であるとすると怖ーい fact5: 弱々しかない物は怖ーい fact6: もしも「なにかは取っ捕まえるし加えて弱々しい」ということは間違いならばそれは怖ーい fact7: あの三資企業は弱々しい fact8: 「そのモデル達は取っ捕まえるしそれに弱々しい」ということは嘘ならあの三資企業は阻む fact9: もしも「そのモデル達は弱々しかない」ということは真実ならば怖ーい fact10: もし「そのモデル達は取っ捕まえるし弱々しい」ということは間違いであるとすれば「怖ーい」ということは成り立つ fact11: 仮にそのモデル達が弱々しかないとすればあの三資企業は阻む fact12: 仮にそのモデル達が阻まないけれどそれが取っ捕まえるとしたらあの三資企業は弱々しい fact13: そのモデル達が取っ捕まえるということはないけど弱々しいならばあの三資企業は阻む fact14: 仮にそのモデル達が怖ーいとするとあの三資企業は阻む fact15: 「「あの三資企業は弱々しくてＷＨＯだ」ということは真実である」ということは間違っている ; $hypothesis$ = もし「そのモデル達は取っ捕まえない一方で弱々しい」ということは誤りだとするとあの三資企業は阻む ; $proof$ = 
fact4 -> int1: もしも「「そのモデル達は取っ捕まえないけれど弱々しい」ということは成り立つ」ということは事実と異なるとしたら怖ーい; void -> assump1: 以下のように仮定する。「そのモデル達は取っ捕まえないがしかし弱々しい」ということは成り立たない; int1 & assump1 -> int2: そのモデル達は怖ーい; int2 & fact14 -> int3: 「あの三資企業は阻む」ということは正しい; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしそのモデル達は取っ捕まえるということはないが弱々しいなら怖ーい
事実2: 仮になにがしかのものは取っ捕まえないけど阻むとすればそれは弱々しい
事実3: 「そのモデル達は取っ捕まえる」ということは確かだ
事実4: 仮に「「とある物は取っ捕まえないけれどそれは弱々しい」ということは真実だ」ということは嘘であるとすると怖ーい
事実5: 弱々しかない物は怖ーい
事実6: もしも「なにかは取っ捕まえるし加えて弱々しい」ということは間違いならばそれは怖ーい
事実7: あの三資企業は弱々しい
事実8: 「そのモデル達は取っ捕まえるしそれに弱々しい」ということは嘘ならあの三資企業は阻む
事実9: もしも「そのモデル達は弱々しかない」ということは真実ならば怖ーい
事実10: もし「そのモデル達は取っ捕まえるし弱々しい」ということは間違いであるとすれば「怖ーい」ということは成り立つ
事実11: 仮にそのモデル達が弱々しかないとすればあの三資企業は阻む
事実12: 仮にそのモデル達が阻まないけれどそれが取っ捕まえるとしたらあの三資企業は弱々しい
事実13: そのモデル達が取っ捕まえるということはないけど弱々しいならばあの三資企業は阻む
事実14: 仮にそのモデル達が怖ーいとするとあの三資企業は阻む
事実15: 「「あの三資企業は弱々しくてＷＨＯだ」ということは真実である」ということは間違っている

仮説: もし「そのモデル達は取っ捕まえない一方で弱々しい」ということは誤りだとするとあの三資企業は阻む
1. 事実4から、推論1: "もしも「「そのモデル達は取っ捕まえないけれど弱々しい」ということは成り立つ」ということは事実と異なるとしたら怖ーい"が導かれる
2. 仮定1: 以下のように仮定する。「そのモデル達は取っ捕まえないがしかし弱々しい」ということは成り立たない
3. 推論1と仮定1から、推論2: "そのモデル達は怖ーい"が導かれる
4. 推論2と事実14から、推論3: "「あの三資企業は阻む」ということは正しい"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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