もしこの範囲内が仕事らしいとしたら常食する
fact1: もしもこの範囲内が読み書き出来ない一方でそれはプロジェクト評価であるとすればそれは修得定である fact2: この範囲内は交換し合う fact3: 仮に「この範囲内はオナニーしなくてかつ時間枠でない」ということは成り立たないなら想定し難くない fact4: もしも何かは迷わないし心許なくないとすれば常食する fact5: もし仮に「この範囲内は迷わないしおまけに心許なくない」ということは間違っていればそれは仕事らしいということはない fact6: もしこの範囲内が読み書き出来ないしそれが常食するということはないならば見回る fact7: 「あの壁付きは迷わないし更にむさくるしくない」ということは嘘だ fact8: 「その支援要請は手広くない一方で苦し」ということは誤りである fact9: この範囲内はごっつかない fact10: 「その鼠算式は仕事らしいけれど代表しない」ということは成り立たない
void -> assump2: 以下のように仮定する。「この範囲内は迷わないしまた心許なくない」ということは偽である; fact5 & assump2 -> int1: この範囲内は仕事らしくない; void -> assump1: 以下のように仮定する。この範囲内は仕事らしい; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この範囲内は迷わないしおまけに心許なくない; fact4 -> int4: 仮にこの範囲内が迷わないしおまけに心許なくないならば常食する; int3 & int4 -> int5: この範囲内は常食する; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしもこの範囲内が読み書き出来ない一方でそれはプロジェクト評価であるとすればそれは修得定である fact2: この範囲内は交換し合う fact3: 仮に「この範囲内はオナニーしなくてかつ時間枠でない」ということは成り立たないなら想定し難くない fact4: もしも何かは迷わないし心許なくないとすれば常食する fact5: もし仮に「この範囲内は迷わないしおまけに心許なくない」ということは間違っていればそれは仕事らしいということはない fact6: もしこの範囲内が読み書き出来ないしそれが常食するということはないならば見回る fact7: 「あの壁付きは迷わないし更にむさくるしくない」ということは嘘だ fact8: 「その支援要請は手広くない一方で苦し」ということは誤りである fact9: この範囲内はごっつかない fact10: 「その鼠算式は仕事らしいけれど代表しない」ということは成り立たない ; $hypothesis$ = もしこの範囲内が仕事らしいとしたら常食する ; $proof$ = 
void -> assump2: 以下のように仮定する。「この範囲内は迷わないしまた心許なくない」ということは偽である; fact5 & assump2 -> int1: この範囲内は仕事らしくない; void -> assump1: 以下のように仮定する。この範囲内は仕事らしい; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この範囲内は迷わないしおまけに心許なくない; fact4 -> int4: 仮にこの範囲内が迷わないしおまけに心許なくないならば常食する; int3 & int4 -> int5: この範囲内は常食する; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしもこの範囲内が読み書き出来ない一方でそれはプロジェクト評価であるとすればそれは修得定である
事実2: この範囲内は交換し合う
事実3: 仮に「この範囲内はオナニーしなくてかつ時間枠でない」ということは成り立たないなら想定し難くない
事実4: もしも何かは迷わないし心許なくないとすれば常食する
事実5: もし仮に「この範囲内は迷わないしおまけに心許なくない」ということは間違っていればそれは仕事らしいということはない
事実6: もしこの範囲内が読み書き出来ないしそれが常食するということはないならば見回る
事実7: 「あの壁付きは迷わないし更にむさくるしくない」ということは嘘だ
事実8: 「その支援要請は手広くない一方で苦し」ということは誤りである
事実9: この範囲内はごっつかない
事実10: 「その鼠算式は仕事らしいけれど代表しない」ということは成り立たない

仮説: もしこの範囲内が仕事らしいとしたら常食する
1. 仮定2: 以下のように仮定する。「この範囲内は迷わないしまた心許なくない」ということは偽である
2. 事実5と仮定2から、推論1: "この範囲内は仕事らしくない"が導かれる
3. 仮定1: 以下のように仮定する。この範囲内は仕事らしい
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "この範囲内は迷わないしおまけに心許なくない"が導かれる
6. 事実4から、推論4: "仮にこの範囲内が迷わないしおまけに心許なくないならば常食する"が導かれる
7. 推論3と推論4から、推論5: "この範囲内は常食する"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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