「「あの椎茸は打ち上がるがしかしオペレーションシステムでない」ということは事実である」ということは成り立たない
fact1: それは会員権だが現われ難くないという物はない fact2: 声だけれど窺えないという物はない fact3: それは打ち上がるし更にそれはオペレーションシステムでないという物はない fact4: 仮にそのニッポン硬貨は柔くないとしたら「その数限りは資本金規模だ一方でそれは打ち上がらない」ということは誤っている fact5: 「この許認可等は発達レベルだけれどそれは打ち上がらない」ということは成り立たない fact6: そのニッポン硬貨はユーザＩＤだ fact7: 「あの椎茸は入れ難いしおまけに現われ難い」ということは成り立たない fact8: もしなにかは照射直後でないとすれば柔い fact9: もし仮にあの教授がぶん投げるならそのニッポン硬貨は柔くないしおまけに照射直後であるということはない fact10: 「あの椎茸は打ち上がるしオペレーションシステムだ」ということは誤りである fact11: あの追実験が内装しないかまたは凄まじいとしたらあの教授はぶん投げる fact12: もしも「なんらかのものは凄まじくないしおまけにぶん投げない」ということは嘘であるとすれば照射直後でない fact13: もしなにかは内装するなら「それは凄まじくないしぶん投げない」ということは間違っている fact14: もしなんらかの物がユーザＩＤだとすれば内装する
fact3 -> hypothesis;
fact3 -> hypothesis;
「その数限りは資本金規模であるが打ち上がらない」ということは成り立たない
$facts$ = fact1: それは会員権だが現われ難くないという物はない fact2: 声だけれど窺えないという物はない fact3: それは打ち上がるし更にそれはオペレーションシステムでないという物はない fact4: 仮にそのニッポン硬貨は柔くないとしたら「その数限りは資本金規模だ一方でそれは打ち上がらない」ということは誤っている fact5: 「この許認可等は発達レベルだけれどそれは打ち上がらない」ということは成り立たない fact6: そのニッポン硬貨はユーザＩＤだ fact7: 「あの椎茸は入れ難いしおまけに現われ難い」ということは成り立たない fact8: もしなにかは照射直後でないとすれば柔い fact9: もし仮にあの教授がぶん投げるならそのニッポン硬貨は柔くないしおまけに照射直後であるということはない fact10: 「あの椎茸は打ち上がるしオペレーションシステムだ」ということは誤りである fact11: あの追実験が内装しないかまたは凄まじいとしたらあの教授はぶん投げる fact12: もしも「なんらかのものは凄まじくないしおまけにぶん投げない」ということは嘘であるとすれば照射直後でない fact13: もしなにかは内装するなら「それは凄まじくないしぶん投げない」ということは間違っている fact14: もしなんらかの物がユーザＩＤだとすれば内装する ; $hypothesis$ = 「「あの椎茸は打ち上がるがしかしオペレーションシステムでない」ということは事実である」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: それは会員権だが現われ難くないという物はない
事実2: 声だけれど窺えないという物はない
事実3: それは打ち上がるし更にそれはオペレーションシステムでないという物はない
事実4: 仮にそのニッポン硬貨は柔くないとしたら「その数限りは資本金規模だ一方でそれは打ち上がらない」ということは誤っている
事実5: 「この許認可等は発達レベルだけれどそれは打ち上がらない」ということは成り立たない
事実6: そのニッポン硬貨はユーザＩＤだ
事実7: 「あの椎茸は入れ難いしおまけに現われ難い」ということは成り立たない
事実8: もしなにかは照射直後でないとすれば柔い
事実9: もし仮にあの教授がぶん投げるならそのニッポン硬貨は柔くないしおまけに照射直後であるということはない
事実10: 「あの椎茸は打ち上がるしオペレーションシステムだ」ということは誤りである
事実11: あの追実験が内装しないかまたは凄まじいとしたらあの教授はぶん投げる
事実12: もしも「なんらかのものは凄まじくないしおまけにぶん投げない」ということは嘘であるとすれば照射直後でない
事実13: もしなにかは内装するなら「それは凄まじくないしぶん投げない」ということは間違っている
事実14: もしなんらかの物がユーザＩＤだとすれば内装する

仮説: 「「あの椎茸は打ち上がるがしかしオペレーションシステムでない」ということは事実である」ということは成り立たない
1. 事実3から、仮説が導かれる

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