「あの越前堀は恥ずかし」ということは真実である
fact1: 「「廃止すということはないしその上存在出来ない」ということは誤っている」物はある fact2: もしあの統計結果がサルファ剤でないとしたらあの越前堀は転載する fact3: もし「「廃止すらないし存在出来ない」ということは真実だということはない」ものがあるとしたらあの統計結果はサルファ剤でない fact4: もしあの統計結果が転載しないならあの越前堀はサルファ剤でなくてまた恥ずかしない fact5: 崩れ易くない物はＨＳＩＡであるか伝え難いということはないかもしくは両方である fact6: もしも「なんらかの物は転載する」ということは真実であるとしたら恥ずかし fact7: もしもあの統計結果が恥ずかしということはないとすればあの越前堀はサルファ剤で転載する
fact1 & fact3 -> int1: 「あの統計結果はサルファ剤だということはない」ということは事実である; int1 & fact2 -> int2: あの越前堀は転載する; fact6 -> int3: あの越前堀が転載するとすれば恥ずかし; int2 & int3 -> hypothesis;
あの越前堀はサルファ剤だ
fact9 -> int4: もしもあの社会的環境が崩れ易くないとしたらＨＳＩＡであるかもしくは伝え難くないかまたはどちらもである;
$facts$ = fact1: 「「廃止すということはないしその上存在出来ない」ということは誤っている」物はある fact2: もしあの統計結果がサルファ剤でないとしたらあの越前堀は転載する fact3: もし「「廃止すらないし存在出来ない」ということは真実だということはない」ものがあるとしたらあの統計結果はサルファ剤でない fact4: もしあの統計結果が転載しないならあの越前堀はサルファ剤でなくてまた恥ずかしない fact5: 崩れ易くない物はＨＳＩＡであるか伝え難いということはないかもしくは両方である fact6: もしも「なんらかの物は転載する」ということは真実であるとしたら恥ずかし fact7: もしもあの統計結果が恥ずかしということはないとすればあの越前堀はサルファ剤で転載する ; $hypothesis$ = 「あの越前堀は恥ずかし」ということは真実である ; $proof$ = 
fact1 & fact3 -> int1: 「あの統計結果はサルファ剤だということはない」ということは事実である; int1 & fact2 -> int2: あの越前堀は転載する; fact6 -> int3: あの越前堀が転載するとすれば恥ずかし; int2 & int3 -> hypothesis; __PROVED__
事実1: 「「廃止すということはないしその上存在出来ない」ということは誤っている」物はある
事実2: もしあの統計結果がサルファ剤でないとしたらあの越前堀は転載する
事実3: もし「「廃止すらないし存在出来ない」ということは真実だということはない」ものがあるとしたらあの統計結果はサルファ剤でない
事実4: もしあの統計結果が転載しないならあの越前堀はサルファ剤でなくてまた恥ずかしない
事実5: 崩れ易くない物はＨＳＩＡであるか伝え難いということはないかもしくは両方である
事実6: もしも「なんらかの物は転載する」ということは真実であるとしたら恥ずかし
事実7: もしもあの統計結果が恥ずかしということはないとすればあの越前堀はサルファ剤で転載する

仮説: 「あの越前堀は恥ずかし」ということは真実である
1. 事実1と事実3から、推論1: "「あの統計結果はサルファ剤だということはない」ということは事実である"が導かれる
2. 推論1と事実2から、推論2: "あの越前堀は転載する"が導かれる
3. 事実6から、推論3: "あの越前堀が転載するとすれば恥ずかし"が導かれる
4. 推論2と推論3から、仮説が導かれる

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