その直観形式は危険視する
fact1: もしもなにかは目的無しとすると絶対しない fact2: もし仮に何かは空しかない一方で窒素だとしたらあの健全性はやばくない fact3: この生薬は眩くないか絶対するか両方だ fact4: もしもその直観形式が危険視するとしたらそれは眩い fact5: もし「あのカザフスタン人民委員会は階層化するけれど目的無しない」ということは間違っているとしたら「目的無し」ということは嘘でない fact6: もしも「眩くないか絶対するかどちらもな」ものがあるとすればその直観形式は目的無し fact7: 「あのカザフスタン人民委員会は仕立て上げるということはない」ということは成り立つとしたら「それは階層化するがしかし目的無しない」ということは成り立たない fact8: なにがしかのものは眩いかもしくは絶対するかもしくはどちらもである fact9: もし仮にその直観形式が階層化するとすればその資源委員会は危険視する fact10: 全てのものは窒素である fact11: 仮に何らかのものが目的無しとすると危険視する fact12: すべては素っ気なくない fact13: この補体蛋白質は風景構成法でないかまたは絶対するかもしくは両方ともである fact14: もしとあるものが素っ気なくないとすれば翻さなくて更に空しかない fact15: もしも「あの健全性はやばくない」ということは確かであるとするとその直観形式は階層化するか仕立て上げるかもしくは両方である fact16: この生薬は眩いかもしくは絶対する fact17: 「眩くない」ものがあるとしたらその直観形式は目的無し
fact3 -> int1: あるものは眩いということはないか絶対するかもしくは両方である; int1 & fact6 -> int2: その直観形式は目的無し; fact11 -> int3: その直観形式が目的無しとすると危険視する; int2 & int3 -> hypothesis;
fact3 -> int1: (Ex): (¬{A}x v {B}x); int1 & fact6 -> int2: {C}{a}; fact11 -> int3: {C}{a} -> {D}{a}; int2 & int3 -> hypothesis;
その資源委員会は眩くないかもしくは卒であるかあるいはどちらもだ
fact20 -> int4: もしその資源委員会は目的無しとすると「それは絶対しない」ということは確かだ; fact23 -> int5: その人事コンサルティングは素っ気なくない; fact22 -> int6: その人事コンサルティングが素っ気ないということはないなら翻さないしそれは空しいということはない; int5 & int6 -> int7: その人事コンサルティングは翻さなくて空しいということはない; int7 -> int8: 全ての物は翻さないし更にそれは空しかない; int8 -> int9: この追及効は翻さないし空しかない; int9 -> int10: この追及効は空しかない; int10 -> int11: 「全ては空しかない」ということは真実である; int11 -> int12: この未収収益は空しかない; fact21 -> int13: この未収収益は窒素である; int12 & int13 -> int14: この未収収益は空しかないけれど窒素である; int14 -> int15: 何もかもは空しいということはない一方で窒素だ; int15 -> int16: あのカザフスタン人民委員会は空しかないがしかしそれは窒素である; int16 -> int17: 「空しかないが窒素である」物はある; int17 & fact18 -> int18: あの健全性はやばいということはない; fact19 & int18 -> int19: その直観形式は階層化するかもしくはそれは仕立て上げるかもしくは両方である;
$facts$ = fact1: もしもなにかは目的無しとすると絶対しない fact2: もし仮に何かは空しかない一方で窒素だとしたらあの健全性はやばくない fact3: この生薬は眩くないか絶対するか両方だ fact4: もしもその直観形式が危険視するとしたらそれは眩い fact5: もし「あのカザフスタン人民委員会は階層化するけれど目的無しない」ということは間違っているとしたら「目的無し」ということは嘘でない fact6: もしも「眩くないか絶対するかどちらもな」ものがあるとすればその直観形式は目的無し fact7: 「あのカザフスタン人民委員会は仕立て上げるということはない」ということは成り立つとしたら「それは階層化するがしかし目的無しない」ということは成り立たない fact8: なにがしかのものは眩いかもしくは絶対するかもしくはどちらもである fact9: もし仮にその直観形式が階層化するとすればその資源委員会は危険視する fact10: 全てのものは窒素である fact11: 仮に何らかのものが目的無しとすると危険視する fact12: すべては素っ気なくない fact13: この補体蛋白質は風景構成法でないかまたは絶対するかもしくは両方ともである fact14: もしとあるものが素っ気なくないとすれば翻さなくて更に空しかない fact15: もしも「あの健全性はやばくない」ということは確かであるとするとその直観形式は階層化するか仕立て上げるかもしくは両方である fact16: この生薬は眩いかもしくは絶対する fact17: 「眩くない」ものがあるとしたらその直観形式は目的無し ; $hypothesis$ = その直観形式は危険視する ; $proof$ = 
fact3 -> int1: あるものは眩いということはないか絶対するかもしくは両方である; int1 & fact6 -> int2: その直観形式は目的無し; fact11 -> int3: その直観形式が目的無しとすると危険視する; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもなにかは目的無しとすると絶対しない
事実2: もし仮に何かは空しかない一方で窒素だとしたらあの健全性はやばくない
事実3: この生薬は眩くないか絶対するか両方だ
事実4: もしもその直観形式が危険視するとしたらそれは眩い
事実5: もし「あのカザフスタン人民委員会は階層化するけれど目的無しない」ということは間違っているとしたら「目的無し」ということは嘘でない
事実6: もしも「眩くないか絶対するかどちらもな」ものがあるとすればその直観形式は目的無し
事実7: 「あのカザフスタン人民委員会は仕立て上げるということはない」ということは成り立つとしたら「それは階層化するがしかし目的無しない」ということは成り立たない
事実8: なにがしかのものは眩いかもしくは絶対するかもしくはどちらもである
事実9: もし仮にその直観形式が階層化するとすればその資源委員会は危険視する
事実10: 全てのものは窒素である
事実11: 仮に何らかのものが目的無しとすると危険視する
事実12: すべては素っ気なくない
事実13: この補体蛋白質は風景構成法でないかまたは絶対するかもしくは両方ともである
事実14: もしとあるものが素っ気なくないとすれば翻さなくて更に空しかない
事実15: もしも「あの健全性はやばくない」ということは確かであるとするとその直観形式は階層化するか仕立て上げるかもしくは両方である
事実16: この生薬は眩いかもしくは絶対する
事実17: 「眩くない」ものがあるとしたらその直観形式は目的無し

仮説: その直観形式は危険視する
1. 事実3から、推論1: "あるものは眩いということはないか絶対するかもしくは両方である"が導かれる
2. 推論1と事実6から、推論2: "その直観形式は目的無し"が導かれる
3. 事実11から、推論3: "その直観形式が目的無しとすると危険視する"が導かれる
4. 推論2と推論3から、仮説が導かれる

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