「あの吸い方は流動化しない」ということは嘘だということはない
fact1: もし仮にその陽明学が取得し易いとしたらその売り上げ金は取得し易い fact2: もしその陽明学が展望しないししかも流動化しないならあの吸い方は展望する fact3: 「「「蒸留器でないかもしくは流動化するかあるいは両方だ」ということは誤りでない」ということは成り立たない」物はある fact4: 仮にその陽明学が第一号法定受託事務であるかもしくは展望するかあるいは両方ともだとするとあの吸い方は流動化しない fact5: 「「蒸留器でないか流動化するかあるいは両方だ」ということは誤っている」物があるとすればこのモニタピースは展望するということはない fact6: すべては当事者達でない fact7: もし仮にその陽明学は第一号法定受託事務だとすれば「あの吸い方は流動化しない」ということは成り立つ fact8: もし「その陽明学は流動化しないか展望するかまたはどちらもである」ということは間違いであるとすればあの吸い方は流動化する fact9: その陽明学は展望する fact10: 仮にあの吸い方が展望するということはないならばその陽明学は取得し易くてかつ第一号法定受託事務だ fact11: あの吸い方が第一号法定受託事務ならばその陽明学は流動化しない fact12: その今走京都芝は展望する fact13: もし仮にとある物が駆出率だとすれば第一号法定受託事務である fact14: 「「第一号法定受託事務だ」ということは確かである」物があるならその陽明学は展望しないし流動化するということはない
fact9 -> int1: その陽明学は第一号法定受託事務であるかそれは展望するかあるいは両方ともである; int1 & fact4 -> hypothesis;
fact9 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> hypothesis;
あの吸い方は展望する
fact18 -> int2: もしこのモニタピースは駆出率であるとすれば第一号法定受託事務だ; fact16 -> int3: その所轄労働基準監督署長は当事者達でない;
$facts$ = fact1: もし仮にその陽明学が取得し易いとしたらその売り上げ金は取得し易い fact2: もしその陽明学が展望しないししかも流動化しないならあの吸い方は展望する fact3: 「「「蒸留器でないかもしくは流動化するかあるいは両方だ」ということは誤りでない」ということは成り立たない」物はある fact4: 仮にその陽明学が第一号法定受託事務であるかもしくは展望するかあるいは両方ともだとするとあの吸い方は流動化しない fact5: 「「蒸留器でないか流動化するかあるいは両方だ」ということは誤っている」物があるとすればこのモニタピースは展望するということはない fact6: すべては当事者達でない fact7: もし仮にその陽明学は第一号法定受託事務だとすれば「あの吸い方は流動化しない」ということは成り立つ fact8: もし「その陽明学は流動化しないか展望するかまたはどちらもである」ということは間違いであるとすればあの吸い方は流動化する fact9: その陽明学は展望する fact10: 仮にあの吸い方が展望するということはないならばその陽明学は取得し易くてかつ第一号法定受託事務だ fact11: あの吸い方が第一号法定受託事務ならばその陽明学は流動化しない fact12: その今走京都芝は展望する fact13: もし仮にとある物が駆出率だとすれば第一号法定受託事務である fact14: 「「第一号法定受託事務だ」ということは確かである」物があるならその陽明学は展望しないし流動化するということはない ; $hypothesis$ = 「あの吸い方は流動化しない」ということは嘘だということはない ; $proof$ = 
fact9 -> int1: その陽明学は第一号法定受託事務であるかそれは展望するかあるいは両方ともである; int1 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にその陽明学が取得し易いとしたらその売り上げ金は取得し易い
事実2: もしその陽明学が展望しないししかも流動化しないならあの吸い方は展望する
事実3: 「「「蒸留器でないかもしくは流動化するかあるいは両方だ」ということは誤りでない」ということは成り立たない」物はある
事実4: 仮にその陽明学が第一号法定受託事務であるかもしくは展望するかあるいは両方ともだとするとあの吸い方は流動化しない
事実5: 「「蒸留器でないか流動化するかあるいは両方だ」ということは誤っている」物があるとすればこのモニタピースは展望するということはない
事実6: すべては当事者達でない
事実7: もし仮にその陽明学は第一号法定受託事務だとすれば「あの吸い方は流動化しない」ということは成り立つ
事実8: もし「その陽明学は流動化しないか展望するかまたはどちらもである」ということは間違いであるとすればあの吸い方は流動化する
事実9: その陽明学は展望する
事実10: 仮にあの吸い方が展望するということはないならばその陽明学は取得し易くてかつ第一号法定受託事務だ
事実11: あの吸い方が第一号法定受託事務ならばその陽明学は流動化しない
事実12: その今走京都芝は展望する
事実13: もし仮にとある物が駆出率だとすれば第一号法定受託事務である
事実14: 「「第一号法定受託事務だ」ということは確かである」物があるならその陽明学は展望しないし流動化するということはない

仮説: 「あの吸い方は流動化しない」ということは嘘だということはない
1. 事実9から、推論1: "その陽明学は第一号法定受託事務であるかそれは展望するかあるいは両方ともである"が導かれる
2. 推論1と事実4から、仮説が導かれる

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