あの爪哇軍政監部編はまあるい
fact1: もし「あの高分化型は未組織労働者である」ということは確かであるとすればあの爪哇軍政監部編は校内授業研究会である fact2: あの高分化型がＳＭＦだとすると校内授業研究会でない fact3: なにがしかの物は娩出する fact4: あの爪哇軍政監部編はＳＭＦであるかもしくはまあるい fact5: もし「あの高分化型はＳＭＦであるかそれは娩出するかまたはどちらもである」ということは正しいならばそれは校内授業研究会でない fact6: 「蹴破る」ものはある fact7: もし仮に「「娩出しない」ということは成り立つ」ものがあるとするとあの爪哇軍政監部編はまあるい fact8: もし「「校内授業研究会でない」ということは成り立つ」物があればあの高分化型はＳＭＦだ fact9: あの高分化型は校内授業研究会だ fact10: 「あの高分化型はまあるい」ということは成り立つ
void -> assump1: 以下のように仮定する。あの高分化型は娩出する; assump1 -> int1: あの高分化型はＳＭＦであるかまたは娩出する; int1 & fact5 -> int2: あの高分化型は校内授業研究会でない; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの高分化型は娩出するということはない; int4 -> int5: 「「娩出しない」ということは成り立つ」ものはある; int5 & fact7 -> hypothesis;
あの爪哇軍政監部編はまあるくない
$facts$ = fact1: もし「あの高分化型は未組織労働者である」ということは確かであるとすればあの爪哇軍政監部編は校内授業研究会である fact2: あの高分化型がＳＭＦだとすると校内授業研究会でない fact3: なにがしかの物は娩出する fact4: あの爪哇軍政監部編はＳＭＦであるかもしくはまあるい fact5: もし「あの高分化型はＳＭＦであるかそれは娩出するかまたはどちらもである」ということは正しいならばそれは校内授業研究会でない fact6: 「蹴破る」ものはある fact7: もし仮に「「娩出しない」ということは成り立つ」ものがあるとするとあの爪哇軍政監部編はまあるい fact8: もし「「校内授業研究会でない」ということは成り立つ」物があればあの高分化型はＳＭＦだ fact9: あの高分化型は校内授業研究会だ fact10: 「あの高分化型はまあるい」ということは成り立つ ; $hypothesis$ = あの爪哇軍政監部編はまあるい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの高分化型は娩出する; assump1 -> int1: あの高分化型はＳＭＦであるかまたは娩出する; int1 & fact5 -> int2: あの高分化型は校内授業研究会でない; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの高分化型は娩出するということはない; int4 -> int5: 「「娩出しない」ということは成り立つ」ものはある; int5 & fact7 -> hypothesis; __PROVED__
事実1: もし「あの高分化型は未組織労働者である」ということは確かであるとすればあの爪哇軍政監部編は校内授業研究会である
事実2: あの高分化型がＳＭＦだとすると校内授業研究会でない
事実3: なにがしかの物は娩出する
事実4: あの爪哇軍政監部編はＳＭＦであるかもしくはまあるい
事実5: もし「あの高分化型はＳＭＦであるかそれは娩出するかまたはどちらもである」ということは正しいならばそれは校内授業研究会でない
事実6: 「蹴破る」ものはある
事実7: もし仮に「「娩出しない」ということは成り立つ」ものがあるとするとあの爪哇軍政監部編はまあるい
事実8: もし「「校内授業研究会でない」ということは成り立つ」物があればあの高分化型はＳＭＦだ
事実9: あの高分化型は校内授業研究会だ
事実10: 「あの高分化型はまあるい」ということは成り立つ

仮説: あの爪哇軍政監部編はまあるい
1. 仮定1: 以下のように仮定する。あの高分化型は娩出する
2. 仮定1から、推論1: "あの高分化型はＳＭＦであるかまたは娩出する"が導かれる
3. 推論1と事実5から、推論2: "あの高分化型は校内授業研究会でない"が導かれる
4. 推論2と事実9から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの高分化型は娩出するということはない"が導かれる
6. 推論4から、推論5: "「「娩出しない」ということは成り立つ」ものはある"が導かれる
7. 推論5と事実7から、仮説が導かれる

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