「仮に踏襲するとしたら鼻声でないかまたは突っ込めないかどちらもである」ものはある
fact1: その家族成員は鼻声でないかもしくは突っ込める fact2: 「その家族成員が踏襲するとすればその家族成員は鼻声でないかもしくは突っ込める」ということは事実である fact3: もしあるものは踏襲するし加えて甘いとしたら鼻声だ fact4: 「あの漫画は一次部品企業である」ということは確かであるとしたらそれは鼻声でないかもしくは罹らないかもしくは両方ともだ fact5: その家族成員は止み難いしその上目覚ましい fact6: もし仮にある物は踏襲するし加えて甘いとすればそれは鼻声でない fact7: 「もし仮に踏襲するとしたら鼻声でないか突っ込めるかあるいは両方ともである」ものはある fact8: このＮＳＴ検査は踏襲するしそれに正し fact9: もし仮にその家族成員は踏襲するしまた甘いならそれは鼻声である fact10: 「その家族成員は鼻声だ」ということは確かである fact11: もし仮に「その家族成員は踏襲しない」ということは誤りならば鼻声であるかもしくは突っ込めるということはない fact12: その家族成員は鼻声であるかまたはそれは突っ込めない fact13: 「もし仮に踏襲すれば鼻声であるかあるいは突っ込めないかあるいはどちらもな」ものはある fact14: 「その家族成員は甘い」ということは本当だ
void -> assump1: 以下のように仮定する。その家族成員は踏襲する; assump1 & fact14 -> int1: その家族成員は踏襲するしそれにそれは甘い; fact6 -> int2: もし仮にその家族成員が踏襲するししかも甘いとすると鼻声でない; int1 & int2 -> int3: その家族成員は鼻声でない; int3 -> int4: その家族成員は鼻声でないかもしくは突っ込めないかあるいは両方ともだ; [assump1] & int4 -> int5: 仮にその家族成員が踏襲するならそれは鼻声であるということはないか突っ込めないかどちらもである; int5 -> hypothesis;
$facts$ = fact1: その家族成員は鼻声でないかもしくは突っ込める fact2: 「その家族成員が踏襲するとすればその家族成員は鼻声でないかもしくは突っ込める」ということは事実である fact3: もしあるものは踏襲するし加えて甘いとしたら鼻声だ fact4: 「あの漫画は一次部品企業である」ということは確かであるとしたらそれは鼻声でないかもしくは罹らないかもしくは両方ともだ fact5: その家族成員は止み難いしその上目覚ましい fact6: もし仮にある物は踏襲するし加えて甘いとすればそれは鼻声でない fact7: 「もし仮に踏襲するとしたら鼻声でないか突っ込めるかあるいは両方ともである」ものはある fact8: このＮＳＴ検査は踏襲するしそれに正し fact9: もし仮にその家族成員は踏襲するしまた甘いならそれは鼻声である fact10: 「その家族成員は鼻声だ」ということは確かである fact11: もし仮に「その家族成員は踏襲しない」ということは誤りならば鼻声であるかもしくは突っ込めるということはない fact12: その家族成員は鼻声であるかまたはそれは突っ込めない fact13: 「もし仮に踏襲すれば鼻声であるかあるいは突っ込めないかあるいはどちらもな」ものはある fact14: 「その家族成員は甘い」ということは本当だ ; $hypothesis$ = 「仮に踏襲するとしたら鼻声でないかまたは突っ込めないかどちらもである」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。その家族成員は踏襲する; assump1 & fact14 -> int1: その家族成員は踏襲するしそれにそれは甘い; fact6 -> int2: もし仮にその家族成員が踏襲するししかも甘いとすると鼻声でない; int1 & int2 -> int3: その家族成員は鼻声でない; int3 -> int4: その家族成員は鼻声でないかもしくは突っ込めないかあるいは両方ともだ; [assump1] & int4 -> int5: 仮にその家族成員が踏襲するならそれは鼻声であるということはないか突っ込めないかどちらもである; int5 -> hypothesis; __PROVED__
事実1: その家族成員は鼻声でないかもしくは突っ込める
事実2: 「その家族成員が踏襲するとすればその家族成員は鼻声でないかもしくは突っ込める」ということは事実である
事実3: もしあるものは踏襲するし加えて甘いとしたら鼻声だ
事実4: 「あの漫画は一次部品企業である」ということは確かであるとしたらそれは鼻声でないかもしくは罹らないかもしくは両方ともだ
事実5: その家族成員は止み難いしその上目覚ましい
事実6: もし仮にある物は踏襲するし加えて甘いとすればそれは鼻声でない
事実7: 「もし仮に踏襲するとしたら鼻声でないか突っ込めるかあるいは両方ともである」ものはある
事実8: このＮＳＴ検査は踏襲するしそれに正し
事実9: もし仮にその家族成員は踏襲するしまた甘いならそれは鼻声である
事実10: 「その家族成員は鼻声だ」ということは確かである
事実11: もし仮に「その家族成員は踏襲しない」ということは誤りならば鼻声であるかもしくは突っ込めるということはない
事実12: その家族成員は鼻声であるかまたはそれは突っ込めない
事実13: 「もし仮に踏襲すれば鼻声であるかあるいは突っ込めないかあるいはどちらもな」ものはある
事実14: 「その家族成員は甘い」ということは本当だ

仮説: 「仮に踏襲するとしたら鼻声でないかまたは突っ込めないかどちらもである」ものはある
1. 仮定1: 以下のように仮定する。その家族成員は踏襲する
2. 仮定1と事実14から、推論1: "その家族成員は踏襲するしそれにそれは甘い"が導かれる
3. 事実6から、推論2: "もし仮にその家族成員が踏襲するししかも甘いとすると鼻声でない"が導かれる
4. 推論1と推論2から、推論3: "その家族成員は鼻声でない"が導かれる
5. 推論3から、推論4: "その家族成員は鼻声でないかもしくは突っ込めないかあるいは両方ともだ"が導かれる
6. [仮定1]と推論4から、推論5: "仮にその家族成員が踏襲するならそれは鼻声であるということはないか突っ込めないかどちらもである"が導かれる
7. 推論5から、仮説が導かれる

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