「もし仮に「実質価値でないかまたは回収しないかまたはどちらもである」ということは成り立たないとすればすーごくない」ものはある
fact1: 「仮に「実質価値であるかあるいは回収しない」ということは誤りならすーごくない」ものはある fact2: 仮に「なにがしかのものは取り合わないかまたは尋ね始めないかもしくはどちらもだ」ということは偽であるとすると朗誦しない fact3: もし「その中粒は実質価値でないかもしくは回収しないかまたは両方ともだ」ということは誤っているとすると「それはすーごくない」ということは成り立つ
fact3 -> hypothesis;
「もし「取り合わないかまたは尋ね始めないかまたは両方ともである」ということは成り立たないならば朗誦しない」物はある
fact4 -> int1: もし「あの統一国家は取り合わないかあるいは尋ね始めるということはない」ということは間違っているとすれば「それは朗誦しない」ということは本当である; int1 -> hypothesis;
$facts$ = fact1: 「仮に「実質価値であるかあるいは回収しない」ということは誤りならすーごくない」ものはある fact2: 仮に「なにがしかのものは取り合わないかまたは尋ね始めないかもしくはどちらもだ」ということは偽であるとすると朗誦しない fact3: もし「その中粒は実質価値でないかもしくは回収しないかまたは両方ともだ」ということは誤っているとすると「それはすーごくない」ということは成り立つ ; $hypothesis$ = 「もし仮に「実質価値でないかまたは回収しないかまたはどちらもである」ということは成り立たないとすればすーごくない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「仮に「実質価値であるかあるいは回収しない」ということは誤りならすーごくない」ものはある
事実2: 仮に「なにがしかのものは取り合わないかまたは尋ね始めないかもしくはどちらもだ」ということは偽であるとすると朗誦しない
事実3: もし「その中粒は実質価値でないかもしくは回収しないかまたは両方ともだ」ということは誤っているとすると「それはすーごくない」ということは成り立つ

仮説: 「もし仮に「実質価値でないかまたは回収しないかまたはどちらもである」ということは成り立たないとすればすーごくない」ものはある
1. 事実3から、仮説が導かれる

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