あの現代表は多食する
fact1: 仮に「ある物は削げ落ちないしまた鳴き出さない」ということは誤りであるとしたら御休みだ fact2: もしも何かは誕生当時だということはないなら「御休みであるし加えてそれは打ち切りだ」ということは誤っている fact3: あの身分集団は女性名詞でない fact4: もし仮にあの身分集団は女性名詞でないなら「それは削げ落ちないし更に鳴き出さない」ということは成り立たない fact5: もしあの身分集団が御休みであるとしたらあの現代表は多食する fact6: もし「「あの身分集団は多食するか女性名詞である」ということは嘘でない」ということは嘘であるとしたら「あの現代表は多食する」ということは間違っている
fact4 & fact3 -> int1: 「あの身分集団は削げ落ちないしまたそれは鳴き出さない」ということは事実と異なる; fact1 -> int2: もしも「あの身分集団は削げ落ちないしさらに鳴き出さない」ということは成り立つということはないとすれば御休みである; int1 & int2 -> int3: あの身分集団は御休みである; int3 & fact5 -> hypothesis;
「あの現代表は多食しない」ということは事実と異ならない
fact8 -> int4: もしその海運輸送は誕生当時でないとすれば「それは御休みで打ち切りである」ということは偽だ;
$facts$ = fact1: 仮に「ある物は削げ落ちないしまた鳴き出さない」ということは誤りであるとしたら御休みだ fact2: もしも何かは誕生当時だということはないなら「御休みであるし加えてそれは打ち切りだ」ということは誤っている fact3: あの身分集団は女性名詞でない fact4: もし仮にあの身分集団は女性名詞でないなら「それは削げ落ちないし更に鳴き出さない」ということは成り立たない fact5: もしあの身分集団が御休みであるとしたらあの現代表は多食する fact6: もし「「あの身分集団は多食するか女性名詞である」ということは嘘でない」ということは嘘であるとしたら「あの現代表は多食する」ということは間違っている ; $hypothesis$ = あの現代表は多食する ; $proof$ = 
fact4 & fact3 -> int1: 「あの身分集団は削げ落ちないしまたそれは鳴き出さない」ということは事実と異なる; fact1 -> int2: もしも「あの身分集団は削げ落ちないしさらに鳴き出さない」ということは成り立つということはないとすれば御休みである; int1 & int2 -> int3: あの身分集団は御休みである; int3 & fact5 -> hypothesis; __PROVED__
事実1: 仮に「ある物は削げ落ちないしまた鳴き出さない」ということは誤りであるとしたら御休みだ
事実2: もしも何かは誕生当時だということはないなら「御休みであるし加えてそれは打ち切りだ」ということは誤っている
事実3: あの身分集団は女性名詞でない
事実4: もし仮にあの身分集団は女性名詞でないなら「それは削げ落ちないし更に鳴き出さない」ということは成り立たない
事実5: もしあの身分集団が御休みであるとしたらあの現代表は多食する
事実6: もし「「あの身分集団は多食するか女性名詞である」ということは嘘でない」ということは嘘であるとしたら「あの現代表は多食する」ということは間違っている

仮説: あの現代表は多食する
1. 事実4と事実3から、推論1: "「あの身分集団は削げ落ちないしまたそれは鳴き出さない」ということは事実と異なる"が導かれる
2. 事実1から、推論2: "もしも「あの身分集団は削げ落ちないしさらに鳴き出さない」ということは成り立つということはないとすれば御休みである"が導かれる
3. 推論1と推論2から、推論3: "あの身分集団は御休みである"が導かれる
4. 推論3と事実5から、仮説が導かれる

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