この監修委員会は所狭くて加えて類推す
fact1: 仮にあのＨ変種が世知辛いとするとこの監修委員会は実行し易くない一方で平たい fact2: 実行し易いし平たいということはないものはない fact3: それは実行し易くないしおまけに平たくないという物はない fact4: その自己欺瞞は監査委員会メンバーでその上本降りである fact5: 仮に「とある物は類推すらないしその上監査委員会メンバーでない」ということは確かでないとすればそれは平たい fact6: もし仮にその自己欺瞞が本降りであるならこの監修委員会は所狭し fact7: 陥り易いということはないものは世知辛い物であり加えて機密保護だ fact8: 仮に何かは実行し易いとすれば類推す fact9: もし仮にこの監修委員会が実行し易いならそれは類推す fact10: もし何らかの物が類推すらないならば本降りでかつ所狭し fact11: その自己欺瞞は監査委員会メンバーである fact12: もし仮に何らかのものは監査委員会メンバーでないなら「それは所狭ししその上類推す」ということは成り立たない fact13: もし「この監修委員会は実行し易くないしそれに類推すらない」ということは誤っているとするとそれは監査委員会メンバーである fact14: その自己欺瞞は監査委員会メンバーであるしさらにそれは所狭し fact15: 仮に「なんらかのものは実行し易くないしまた平たいということはない」ということは誤りであるとしたらそれは類推す fact16: もし仮にこの監修委員会が監査委員会メンバーならばあの自己欺瞞は類推す fact17: もし仮に「本降りだしかつ所狭し」ものがあるとすればあの児童本人は監査委員会メンバーだ fact18: もしもこの監修委員会が実行し易くないけれどそれが平たいとするとその自己欺瞞は類推すらない fact19: 「この監修委員会は実行し易いがしかしそれは平たいということはない」ということは間違っている fact20: もし仮になにかは監査委員会メンバーであるなら「生き辛いということはなくてかつ寒々しいということはない」ということは本当でない
fact4 -> int1: その自己欺瞞は本降りである; int1 & fact6 -> int2: この監修委員会は所狭し; fact3 -> int3: 「この監修委員会は実行し易くないし平たいということはない」ということは誤りだ; fact15 -> int4: 仮に「この監修委員会は実行し易くないしかつ平たくない」ということは成り立たないなら類推す; int3 & int4 -> int5: この監修委員会は類推す; int2 & int5 -> hypothesis;
「あの児童本人は生き辛くないし更に寒々しいということはない」ということは成り立たない
fact23 -> int6: もし仮にあの児童本人は監査委員会メンバーだとすると「それは生き辛いということはないしまた寒々しかない」ということは成り立たない; fact22 -> int7: 仮にその自己欺瞞が類推すらないならば本降りであるしおまけに所狭し; fact25 -> int8: あのＨ変種が陥り易くないならば世知辛いしその上それは機密保護である;
$facts$ = fact1: 仮にあのＨ変種が世知辛いとするとこの監修委員会は実行し易くない一方で平たい fact2: 実行し易いし平たいということはないものはない fact3: それは実行し易くないしおまけに平たくないという物はない fact4: その自己欺瞞は監査委員会メンバーでその上本降りである fact5: 仮に「とある物は類推すらないしその上監査委員会メンバーでない」ということは確かでないとすればそれは平たい fact6: もし仮にその自己欺瞞が本降りであるならこの監修委員会は所狭し fact7: 陥り易いということはないものは世知辛い物であり加えて機密保護だ fact8: 仮に何かは実行し易いとすれば類推す fact9: もし仮にこの監修委員会が実行し易いならそれは類推す fact10: もし何らかの物が類推すらないならば本降りでかつ所狭し fact11: その自己欺瞞は監査委員会メンバーである fact12: もし仮に何らかのものは監査委員会メンバーでないなら「それは所狭ししその上類推す」ということは成り立たない fact13: もし「この監修委員会は実行し易くないしそれに類推すらない」ということは誤っているとするとそれは監査委員会メンバーである fact14: その自己欺瞞は監査委員会メンバーであるしさらにそれは所狭し fact15: 仮に「なんらかのものは実行し易くないしまた平たいということはない」ということは誤りであるとしたらそれは類推す fact16: もし仮にこの監修委員会が監査委員会メンバーならばあの自己欺瞞は類推す fact17: もし仮に「本降りだしかつ所狭し」ものがあるとすればあの児童本人は監査委員会メンバーだ fact18: もしもこの監修委員会が実行し易くないけれどそれが平たいとするとその自己欺瞞は類推すらない fact19: 「この監修委員会は実行し易いがしかしそれは平たいということはない」ということは間違っている fact20: もし仮になにかは監査委員会メンバーであるなら「生き辛いということはなくてかつ寒々しいということはない」ということは本当でない ; $hypothesis$ = この監修委員会は所狭くて加えて類推す ; $proof$ = 
fact4 -> int1: その自己欺瞞は本降りである; int1 & fact6 -> int2: この監修委員会は所狭し; fact3 -> int3: 「この監修委員会は実行し易くないし平たいということはない」ということは誤りだ; fact15 -> int4: 仮に「この監修委員会は実行し易くないしかつ平たくない」ということは成り立たないなら類推す; int3 & int4 -> int5: この監修委員会は類推す; int2 & int5 -> hypothesis; __PROVED__
事実1: 仮にあのＨ変種が世知辛いとするとこの監修委員会は実行し易くない一方で平たい
事実2: 実行し易いし平たいということはないものはない
事実3: それは実行し易くないしおまけに平たくないという物はない
事実4: その自己欺瞞は監査委員会メンバーでその上本降りである
事実5: 仮に「とある物は類推すらないしその上監査委員会メンバーでない」ということは確かでないとすればそれは平たい
事実6: もし仮にその自己欺瞞が本降りであるならこの監修委員会は所狭し
事実7: 陥り易いということはないものは世知辛い物であり加えて機密保護だ
事実8: 仮に何かは実行し易いとすれば類推す
事実9: もし仮にこの監修委員会が実行し易いならそれは類推す
事実10: もし何らかの物が類推すらないならば本降りでかつ所狭し
事実11: その自己欺瞞は監査委員会メンバーである
事実12: もし仮に何らかのものは監査委員会メンバーでないなら「それは所狭ししその上類推す」ということは成り立たない
事実13: もし「この監修委員会は実行し易くないしそれに類推すらない」ということは誤っているとするとそれは監査委員会メンバーである
事実14: その自己欺瞞は監査委員会メンバーであるしさらにそれは所狭し
事実15: 仮に「なんらかのものは実行し易くないしまた平たいということはない」ということは誤りであるとしたらそれは類推す
事実16: もし仮にこの監修委員会が監査委員会メンバーならばあの自己欺瞞は類推す
事実17: もし仮に「本降りだしかつ所狭し」ものがあるとすればあの児童本人は監査委員会メンバーだ
事実18: もしもこの監修委員会が実行し易くないけれどそれが平たいとするとその自己欺瞞は類推すらない
事実19: 「この監修委員会は実行し易いがしかしそれは平たいということはない」ということは間違っている
事実20: もし仮になにかは監査委員会メンバーであるなら「生き辛いということはなくてかつ寒々しいということはない」ということは本当でない

仮説: この監修委員会は所狭くて加えて類推す
1. 事実4から、推論1: "その自己欺瞞は本降りである"が導かれる
2. 推論1と事実6から、推論2: "この監修委員会は所狭し"が導かれる
3. 事実3から、推論3: "「この監修委員会は実行し易くないし平たいということはない」ということは誤りだ"が導かれる
4. 事実15から、推論4: "仮に「この監修委員会は実行し易くないしかつ平たくない」ということは成り立たないなら類推す"が導かれる
5. 推論3と推論4から、推論5: "この監修委員会は類推す"が導かれる
6. 推論2と推論5から、仮説が導かれる

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