「そのインターレグは差別化出来ないしまたそれはぶら下がらない」ということは嘘である
fact1: 寝息は潜在するが罷り間違わない fact2: 「そのインターレグは差別化出来ない一方でぶら下がる」ということは誤りだ fact3: 「「そのインターレグは差別化出来る一方でぶら下がらない」ということは事実でない」ということは偽でない fact4: あの賞金は多神教でない fact5: 「もし仮にある物が多神教であるとするとそれは差別化出来ないし更にそれはぶら下がらない」ということは確かである fact6: もし仮にあの賞金は多神教でないなら「そのインターレグは差別化出来ないけれどそれはぶら下がる」ということは事実と異なる fact7: 仮にあの賞金は多神教でないとしたら「そのインターレグは差別化出来るけどぶら下がらない」ということは間違っている fact8: あの賞金は多神教でないならば「「そのインターレグは差別化出来ないしぶら下がらない」ということは間違いだ」ということは確かである fact9: 「あの白髪葱は差別化出来ない」ということは真実だ fact10: 仮にそのインターレグが抑圧しないとすればあの賞金は帰属するし加えてそれは寝息だ
fact8 & fact4 -> hypothesis;
fact8 & fact4 -> hypothesis;
そのインターレグは差別化出来ないし加えてそれはぶら下がらない
fact11 -> int1: もし仮にそのインターレグは多神教であるならば「差別化出来ないしその上ぶら下がらない」ということは本当である;
$facts$ = fact1: 寝息は潜在するが罷り間違わない fact2: 「そのインターレグは差別化出来ない一方でぶら下がる」ということは誤りだ fact3: 「「そのインターレグは差別化出来る一方でぶら下がらない」ということは事実でない」ということは偽でない fact4: あの賞金は多神教でない fact5: 「もし仮にある物が多神教であるとするとそれは差別化出来ないし更にそれはぶら下がらない」ということは確かである fact6: もし仮にあの賞金は多神教でないなら「そのインターレグは差別化出来ないけれどそれはぶら下がる」ということは事実と異なる fact7: 仮にあの賞金は多神教でないとしたら「そのインターレグは差別化出来るけどぶら下がらない」ということは間違っている fact8: あの賞金は多神教でないならば「「そのインターレグは差別化出来ないしぶら下がらない」ということは間違いだ」ということは確かである fact9: 「あの白髪葱は差別化出来ない」ということは真実だ fact10: 仮にそのインターレグが抑圧しないとすればあの賞金は帰属するし加えてそれは寝息だ ; $hypothesis$ = 「そのインターレグは差別化出来ないしまたそれはぶら下がらない」ということは嘘である ; $proof$ = 
fact8 & fact4 -> hypothesis; __PROVED__
事実1: 寝息は潜在するが罷り間違わない
事実2: 「そのインターレグは差別化出来ない一方でぶら下がる」ということは誤りだ
事実3: 「「そのインターレグは差別化出来る一方でぶら下がらない」ということは事実でない」ということは偽でない
事実4: あの賞金は多神教でない
事実5: 「もし仮にある物が多神教であるとするとそれは差別化出来ないし更にそれはぶら下がらない」ということは確かである
事実6: もし仮にあの賞金は多神教でないなら「そのインターレグは差別化出来ないけれどそれはぶら下がる」ということは事実と異なる
事実7: 仮にあの賞金は多神教でないとしたら「そのインターレグは差別化出来るけどぶら下がらない」ということは間違っている
事実8: あの賞金は多神教でないならば「「そのインターレグは差別化出来ないしぶら下がらない」ということは間違いだ」ということは確かである
事実9: 「あの白髪葱は差別化出来ない」ということは真実だ
事実10: 仮にそのインターレグが抑圧しないとすればあの賞金は帰属するし加えてそれは寝息だ

仮説: 「そのインターレグは差別化出来ないしまたそれはぶら下がらない」ということは嘘である
1. 事実8と事実4から、仮説が導かれる

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