「「あどけなくないなら呼び易くないけれど曇り無し」ものはある」ということは嘘だ
fact1: この制御工学は呼び易くないし適用すらないとしたらそれは八等分する fact2: この制御工学が抜き難いとすれば曇り無し fact3: もしあどけなくない物は肝細胞でないとするとそれは抜き難い fact4: 「もしもあどけないということはないとすると曇り無し」物はある fact5: 抜き難いものは呼び易くないけれど曇り無し fact6: この制御工学は肝細胞でない fact7: この制御工学は呼び易いしまた曇り無し fact8: 副調整室は熱っぽくておまけに可愛らしい fact9: 「もしあどけなくないとすると呼び易いし加えて曇り無し」ものはある fact10: この制御工学は曇り無し fact11: とある物が刮ぐないし焼き難いということはないならば遣れる fact12: もしもこの制御工学があどけなくないならばそれは呼び易くて更に曇り無し fact13: この制御工学は少なし fact14: 仮にこの制御工学があどけなくないなら曇り無し
void -> assump1: 以下のように仮定する。この制御工学はあどけないということはない; assump1 & fact6 -> int1: この制御工学はあどけなくないし更に肝細胞でない; fact3 -> int2: もしこの制御工学はあどけなくなくてしかも肝細胞でないとしたらそれは抜き難い; int1 & int2 -> int3: この制御工学は抜き難い; fact5 -> int4: もしもこの制御工学が抜き難いとすれば呼び易くないし曇り無し; int3 & int4 -> int5: この制御工学は呼び易くない一方で曇り無し; [assump1] & int5 -> int6: 仮にこの制御工学があどけなくないとしたらそれは呼び易くないけど曇り無し; int6 -> hypothesis;
$facts$ = fact1: この制御工学は呼び易くないし適用すらないとしたらそれは八等分する fact2: この制御工学が抜き難いとすれば曇り無し fact3: もしあどけなくない物は肝細胞でないとするとそれは抜き難い fact4: 「もしもあどけないということはないとすると曇り無し」物はある fact5: 抜き難いものは呼び易くないけれど曇り無し fact6: この制御工学は肝細胞でない fact7: この制御工学は呼び易いしまた曇り無し fact8: 副調整室は熱っぽくておまけに可愛らしい fact9: 「もしあどけなくないとすると呼び易いし加えて曇り無し」ものはある fact10: この制御工学は曇り無し fact11: とある物が刮ぐないし焼き難いということはないならば遣れる fact12: もしもこの制御工学があどけなくないならばそれは呼び易くて更に曇り無し fact13: この制御工学は少なし fact14: 仮にこの制御工学があどけなくないなら曇り無し ; $hypothesis$ = 「「あどけなくないなら呼び易くないけれど曇り無し」ものはある」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この制御工学はあどけないということはない; assump1 & fact6 -> int1: この制御工学はあどけなくないし更に肝細胞でない; fact3 -> int2: もしこの制御工学はあどけなくなくてしかも肝細胞でないとしたらそれは抜き難い; int1 & int2 -> int3: この制御工学は抜き難い; fact5 -> int4: もしもこの制御工学が抜き難いとすれば呼び易くないし曇り無し; int3 & int4 -> int5: この制御工学は呼び易くない一方で曇り無し; [assump1] & int5 -> int6: 仮にこの制御工学があどけなくないとしたらそれは呼び易くないけど曇り無し; int6 -> hypothesis; __DISPROVED__
事実1: この制御工学は呼び易くないし適用すらないとしたらそれは八等分する
事実2: この制御工学が抜き難いとすれば曇り無し
事実3: もしあどけなくない物は肝細胞でないとするとそれは抜き難い
事実4: 「もしもあどけないということはないとすると曇り無し」物はある
事実5: 抜き難いものは呼び易くないけれど曇り無し
事実6: この制御工学は肝細胞でない
事実7: この制御工学は呼び易いしまた曇り無し
事実8: 副調整室は熱っぽくておまけに可愛らしい
事実9: 「もしあどけなくないとすると呼び易いし加えて曇り無し」ものはある
事実10: この制御工学は曇り無し
事実11: とある物が刮ぐないし焼き難いということはないならば遣れる
事実12: もしもこの制御工学があどけなくないならばそれは呼び易くて更に曇り無し
事実13: この制御工学は少なし
事実14: 仮にこの制御工学があどけなくないなら曇り無し

仮説: 「「あどけなくないなら呼び易くないけれど曇り無し」ものはある」ということは嘘だ
1. 仮定1: 以下のように仮定する。この制御工学はあどけないということはない
2. 仮定1と事実6から、推論1: "この制御工学はあどけなくないし更に肝細胞でない"が導かれる
3. 事実3から、推論2: "もしこの制御工学はあどけなくなくてしかも肝細胞でないとしたらそれは抜き難い"が導かれる
4. 推論1と推論2から、推論3: "この制御工学は抜き難い"が導かれる
5. 事実5から、推論4: "もしもこの制御工学が抜き難いとすれば呼び易くないし曇り無し"が導かれる
6. 推論3と推論4から、推論5: "この制御工学は呼び易くない一方で曇り無し"が導かれる
7. [仮定1]と推論5から、推論6: "仮にこの制御工学があどけなくないとしたらそれは呼び易くないけど曇り無し"が導かれる
8. 推論6から、仮説が否定される

よって、仮説が否定されました。