「あの尺貫法はあざとい」ということは本当である
fact1: もし仮になにかはカリキュラム編成であるなら「「あざとくないかそれは切り離し難いか両方である」ということは事実である」ということは嘘である fact2: もしその除数が仄暗いとするとその諸氏は発問する fact3: その諸氏が発問するとしたらあの尺貫法は膨隆する fact4: 仮に何かは膨隆するとするとあざとい fact5: もし「なにかは仄暗い一方で発問しない」ということは成り立つということはないとしたらそれはあざとくない fact6: もし仮に「なんらかのものはあざとくないかまたは切り離し難いかどちらもである」ということは成り立つということはないとしたら「それは発問しない」ということは成り立つ fact7: その除数は仄暗い fact8: とあるものが打ち付けるとすればそれはシングルマザーである fact9: 何らかのものが発問しないならばそれは仄暗くておまけに膨隆する
fact2 & fact7 -> int1: その諸氏は発問する; int1 & fact3 -> int2: あの尺貫法は膨隆する; fact4 -> int3: 仮にあの尺貫法が膨隆するとするとあざとい; int2 & int3 -> hypothesis;
「その除数は膨隆する」ということは真実だ
fact12 -> int4: もし仮に「その除数は発問しない」ということは真実であるとするとそれは仄暗くてかつそれは膨隆する; fact10 -> int5: もしも「その除数はあざとくないかあるいは切り離し難い」ということは間違いならばそれは発問しない; fact11 -> int6: もし仮にその除数はカリキュラム編成ならば「あざといということはないか切り離し難いかまたは両方ともだ」ということは成り立たない;
$facts$ = fact1: もし仮になにかはカリキュラム編成であるなら「「あざとくないかそれは切り離し難いか両方である」ということは事実である」ということは嘘である fact2: もしその除数が仄暗いとするとその諸氏は発問する fact3: その諸氏が発問するとしたらあの尺貫法は膨隆する fact4: 仮に何かは膨隆するとするとあざとい fact5: もし「なにかは仄暗い一方で発問しない」ということは成り立つということはないとしたらそれはあざとくない fact6: もし仮に「なんらかのものはあざとくないかまたは切り離し難いかどちらもである」ということは成り立つということはないとしたら「それは発問しない」ということは成り立つ fact7: その除数は仄暗い fact8: とあるものが打ち付けるとすればそれはシングルマザーである fact9: 何らかのものが発問しないならばそれは仄暗くておまけに膨隆する ; $hypothesis$ = 「あの尺貫法はあざとい」ということは本当である ; $proof$ = 
fact2 & fact7 -> int1: その諸氏は発問する; int1 & fact3 -> int2: あの尺貫法は膨隆する; fact4 -> int3: 仮にあの尺貫法が膨隆するとするとあざとい; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮になにかはカリキュラム編成であるなら「「あざとくないかそれは切り離し難いか両方である」ということは事実である」ということは嘘である
事実2: もしその除数が仄暗いとするとその諸氏は発問する
事実3: その諸氏が発問するとしたらあの尺貫法は膨隆する
事実4: 仮に何かは膨隆するとするとあざとい
事実5: もし「なにかは仄暗い一方で発問しない」ということは成り立つということはないとしたらそれはあざとくない
事実6: もし仮に「なんらかのものはあざとくないかまたは切り離し難いかどちらもである」ということは成り立つということはないとしたら「それは発問しない」ということは成り立つ
事実7: その除数は仄暗い
事実8: とあるものが打ち付けるとすればそれはシングルマザーである
事実9: 何らかのものが発問しないならばそれは仄暗くておまけに膨隆する

仮説: 「あの尺貫法はあざとい」ということは本当である
1. 事実2と事実7から、推論1: "その諸氏は発問する"が導かれる
2. 推論1と事実3から、推論2: "あの尺貫法は膨隆する"が導かれる
3. 事実4から、推論3: "仮にあの尺貫法が膨隆するとするとあざとい"が導かれる
4. 推論2と推論3から、仮説が導かれる

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