この情緒は自分らしいということはない
fact1: もしも「なんらかのものは間違え易くてかつ相前後する」ということは確かでないならば手厚いということはない fact2: 「この雄グループは専門書だけど死滅しない」ということは誤りである fact3: この雄グループがでかくないとすればこの情緒は自分らしいしかつ遣り易い fact4: 「でかくて更に遣り易い」物があるとすればこの情緒は自分らしくない fact5: この雄グループは遣り易い fact6: もし仮に「この雄グループは専門書だがしかし死滅するということはない」ということは成り立たないとしたらでかい fact7: 仮にこの太線は手厚くないとすれば「あの父親役割は妊婦でないけど押し包む」ということは偽だ
fact6 & fact2 -> int1: この雄グループはでかい; int1 & fact5 -> int2: この雄グループはでかくてかつそれは遣り易い; int2 -> int3: とあるものはでかくてかつ遣り易い; int3 & fact4 -> hypothesis;
この情緒は自分らしい
fact9 -> int4: もしも「この太線は間違え易いし相前後する」ということは嘘だとすれば手厚くない;
$facts$ = fact1: もしも「なんらかのものは間違え易くてかつ相前後する」ということは確かでないならば手厚いということはない fact2: 「この雄グループは専門書だけど死滅しない」ということは誤りである fact3: この雄グループがでかくないとすればこの情緒は自分らしいしかつ遣り易い fact4: 「でかくて更に遣り易い」物があるとすればこの情緒は自分らしくない fact5: この雄グループは遣り易い fact6: もし仮に「この雄グループは専門書だがしかし死滅するということはない」ということは成り立たないとしたらでかい fact7: 仮にこの太線は手厚くないとすれば「あの父親役割は妊婦でないけど押し包む」ということは偽だ ; $hypothesis$ = この情緒は自分らしいということはない ; $proof$ = 
fact6 & fact2 -> int1: この雄グループはでかい; int1 & fact5 -> int2: この雄グループはでかくてかつそれは遣り易い; int2 -> int3: とあるものはでかくてかつ遣り易い; int3 & fact4 -> hypothesis; __PROVED__
事実1: もしも「なんらかのものは間違え易くてかつ相前後する」ということは確かでないならば手厚いということはない
事実2: 「この雄グループは専門書だけど死滅しない」ということは誤りである
事実3: この雄グループがでかくないとすればこの情緒は自分らしいしかつ遣り易い
事実4: 「でかくて更に遣り易い」物があるとすればこの情緒は自分らしくない
事実5: この雄グループは遣り易い
事実6: もし仮に「この雄グループは専門書だがしかし死滅するということはない」ということは成り立たないとしたらでかい
事実7: 仮にこの太線は手厚くないとすれば「あの父親役割は妊婦でないけど押し包む」ということは偽だ

仮説: この情緒は自分らしいということはない
1. 事実6と事実2から、推論1: "この雄グループはでかい"が導かれる
2. 推論1と事実5から、推論2: "この雄グループはでかくてかつそれは遣り易い"が導かれる
3. 推論2から、推論3: "とあるものはでかくてかつ遣り易い"が導かれる
4. 推論3と事実4から、仮説が導かれる

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