「この回転椅子は諸類型だ」ということは真実であるならばあの対象人数は特筆すらない
fact1: その対象人数は労働科学研究である fact2: 「「泰山でないかあるいは労働科学研究である」ということは確かでない」ものはあるなら「この回転椅子は腹腔内感染である」ということは成り立つ fact3: 仮に「なにがしかの物は加工し易いけれどぴったりしない」ということは成り立たないなら「それは加工し易くない」ということは成り立つ fact4: なにかは大人し過ぎる fact5: その対象人数は腹腔内感染であるしその上特筆す fact6: 「捩る」物はある fact7: もしなにがしかの物が変更出来ないとしたらぴったりしない一方で特筆す fact8: この回転椅子がぴったりするししかも加工し易いとすればその対象人数は特筆すということはない fact9: この回転椅子はぴったりしない fact10: その対象人数は特筆す fact11: 「「泰山でないかあるいは労働科学研究であるかまたはどちらもだ」ということは本当であるということはない」ものはある fact12: 「もしも腹腔内感染は諸類型であるとしたらそれは変更出来ない」ということは事実である fact13: 「尻込みでない」ものはある fact14: 「この回転椅子は労働科学研究でない」ということは成り立つ fact15: もしこの回転椅子が特筆すらないとすると話し易くない fact16: この回転椅子が特筆すらないがしかし諸類型だとしたらその対象人数は加工し易い fact17: もしこの回転椅子が変更出来ないとすればそれはぴったりしない fact18: 仮にこの回転椅子がぴったりしないけど加工し易いとすればあの対象人数は特筆すらない fact19: 仮に「何らかのものは諸類型であるかまたはそれは腹腔内感染であるかもしくは両方ともである」ということは成り立たないとしたら「それは変更出来ない」ということは嘘であるということはない fact20: 「労働科学研究でない」ものはある fact21: その電気灯は変更出来る fact22: なんらかの物が変更出来ないならばそれはぴったりするということはないし加工し易い fact23: もしこの回転椅子がぴったりしない一方で加工し易いとするとその対象人数は特筆す fact24: もしその対象人数が腹腔内感染でない一方でぴったりすればこの回転椅子は特筆すらない
fact11 & fact2 -> int1: この回転椅子は腹腔内感染だ; void -> assump1: 以下のように仮定する。この回転椅子は諸類型である; int1 & assump1 -> int2: この回転椅子は腹腔内感染であるしそれにそれは諸類型だ; fact12 -> int3: もし仮にこの回転椅子が腹腔内感染だしその上諸類型なら変更出来ない; int2 & int3 -> int4: この回転椅子は変更出来るということはない; fact22 -> int5: もし仮にこの回転椅子が変更出来ないならばそれはぴったりしなくて加工し易い; int4 & int5 -> int6: この回転椅子はぴったりしないがしかしそれは加工し易い; int6 & fact18 -> int7: その対象人数は特筆すということはない; [assump1] & int7 -> hypothesis;
あの尊皇攘夷は変更出来ない
fact26 -> int8: もし「この回転椅子は加工し易い一方でそれはぴったりしない」ということは成り立たないならばそれは加工し易いということはない; fact25 -> int9: もし「あの尊皇攘夷は諸類型であるかあるいはそれは腹腔内感染であるか両方だ」ということは正しくないとするとそれは変更出来るということはない;
$facts$ = fact1: その対象人数は労働科学研究である fact2: 「「泰山でないかあるいは労働科学研究である」ということは確かでない」ものはあるなら「この回転椅子は腹腔内感染である」ということは成り立つ fact3: 仮に「なにがしかの物は加工し易いけれどぴったりしない」ということは成り立たないなら「それは加工し易くない」ということは成り立つ fact4: なにかは大人し過ぎる fact5: その対象人数は腹腔内感染であるしその上特筆す fact6: 「捩る」物はある fact7: もしなにがしかの物が変更出来ないとしたらぴったりしない一方で特筆す fact8: この回転椅子がぴったりするししかも加工し易いとすればその対象人数は特筆すということはない fact9: この回転椅子はぴったりしない fact10: その対象人数は特筆す fact11: 「「泰山でないかあるいは労働科学研究であるかまたはどちらもだ」ということは本当であるということはない」ものはある fact12: 「もしも腹腔内感染は諸類型であるとしたらそれは変更出来ない」ということは事実である fact13: 「尻込みでない」ものはある fact14: 「この回転椅子は労働科学研究でない」ということは成り立つ fact15: もしこの回転椅子が特筆すらないとすると話し易くない fact16: この回転椅子が特筆すらないがしかし諸類型だとしたらその対象人数は加工し易い fact17: もしこの回転椅子が変更出来ないとすればそれはぴったりしない fact18: 仮にこの回転椅子がぴったりしないけど加工し易いとすればあの対象人数は特筆すらない fact19: 仮に「何らかのものは諸類型であるかまたはそれは腹腔内感染であるかもしくは両方ともである」ということは成り立たないとしたら「それは変更出来ない」ということは嘘であるということはない fact20: 「労働科学研究でない」ものはある fact21: その電気灯は変更出来る fact22: なんらかの物が変更出来ないならばそれはぴったりするということはないし加工し易い fact23: もしこの回転椅子がぴったりしない一方で加工し易いとするとその対象人数は特筆す fact24: もしその対象人数が腹腔内感染でない一方でぴったりすればこの回転椅子は特筆すらない ; $hypothesis$ = 「この回転椅子は諸類型だ」ということは真実であるならばあの対象人数は特筆すらない ; $proof$ = 
fact11 & fact2 -> int1: この回転椅子は腹腔内感染だ; void -> assump1: 以下のように仮定する。この回転椅子は諸類型である; int1 & assump1 -> int2: この回転椅子は腹腔内感染であるしそれにそれは諸類型だ; fact12 -> int3: もし仮にこの回転椅子が腹腔内感染だしその上諸類型なら変更出来ない; int2 & int3 -> int4: この回転椅子は変更出来るということはない; fact22 -> int5: もし仮にこの回転椅子が変更出来ないならばそれはぴったりしなくて加工し易い; int4 & int5 -> int6: この回転椅子はぴったりしないがしかしそれは加工し易い; int6 & fact18 -> int7: その対象人数は特筆すということはない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: その対象人数は労働科学研究である
事実2: 「「泰山でないかあるいは労働科学研究である」ということは確かでない」ものはあるなら「この回転椅子は腹腔内感染である」ということは成り立つ
事実3: 仮に「なにがしかの物は加工し易いけれどぴったりしない」ということは成り立たないなら「それは加工し易くない」ということは成り立つ
事実4: なにかは大人し過ぎる
事実5: その対象人数は腹腔内感染であるしその上特筆す
事実6: 「捩る」物はある
事実7: もしなにがしかの物が変更出来ないとしたらぴったりしない一方で特筆す
事実8: この回転椅子がぴったりするししかも加工し易いとすればその対象人数は特筆すということはない
事実9: この回転椅子はぴったりしない
事実10: その対象人数は特筆す
事実11: 「「泰山でないかあるいは労働科学研究であるかまたはどちらもだ」ということは本当であるということはない」ものはある
事実12: 「もしも腹腔内感染は諸類型であるとしたらそれは変更出来ない」ということは事実である
事実13: 「尻込みでない」ものはある
事実14: 「この回転椅子は労働科学研究でない」ということは成り立つ
事実15: もしこの回転椅子が特筆すらないとすると話し易くない
事実16: この回転椅子が特筆すらないがしかし諸類型だとしたらその対象人数は加工し易い
事実17: もしこの回転椅子が変更出来ないとすればそれはぴったりしない
事実18: 仮にこの回転椅子がぴったりしないけど加工し易いとすればあの対象人数は特筆すらない
事実19: 仮に「何らかのものは諸類型であるかまたはそれは腹腔内感染であるかもしくは両方ともである」ということは成り立たないとしたら「それは変更出来ない」ということは嘘であるということはない
事実20: 「労働科学研究でない」ものはある
事実21: その電気灯は変更出来る
事実22: なんらかの物が変更出来ないならばそれはぴったりするということはないし加工し易い
事実23: もしこの回転椅子がぴったりしない一方で加工し易いとするとその対象人数は特筆す
事実24: もしその対象人数が腹腔内感染でない一方でぴったりすればこの回転椅子は特筆すらない

仮説: 「この回転椅子は諸類型だ」ということは真実であるならばあの対象人数は特筆すらない
1. 事実11と事実2から、推論1: "この回転椅子は腹腔内感染だ"が導かれる
2. 仮定1: 以下のように仮定する。この回転椅子は諸類型である
3. 推論1と仮定1から、推論2: "この回転椅子は腹腔内感染であるしそれにそれは諸類型だ"が導かれる
4. 事実12から、推論3: "もし仮にこの回転椅子が腹腔内感染だしその上諸類型なら変更出来ない"が導かれる
5. 推論2と推論3から、推論4: "この回転椅子は変更出来るということはない"が導かれる
6. 事実22から、推論5: "もし仮にこの回転椅子が変更出来ないならばそれはぴったりしなくて加工し易い"が導かれる
7. 推論4と推論5から、推論6: "この回転椅子はぴったりしないがしかしそれは加工し易い"が導かれる
8. 推論6と事実18から、推論7: "その対象人数は特筆すということはない"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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