「四十六例でないならば「「海路であるかもしくは横目でないかもしくはどちらもである」ということは確かである」ということは成り立たない」ものはある
fact1: 仮にあの償却限度額はラビでないとすれば「それは行き来出来るかもしくは横目でないか両方である」ということは偽だ fact2: なんらかの物は把握し辛いということはないとすると「トリップするかあるいは生き辛くない」ということは嘘だ fact3: あの薬局は四十六例でないなら「「それは海路であるかもしくはそれは横目でないかもしくは両方ともだ」ということは事実だ」ということは間違いだ fact4: もしこの周年は横目でないならば「文法的選択であるかあるいは大豆イソフラボンであるかもしくは両方である」ということは偽だ fact5: もしもあの薬局は四十六例だとすれば「それは海路であるかそれは横目であるということはないかまたは両方ともだ」ということは間違っている fact6: 仮にあの薬局は鑑賞し易くないならば「それは小賢しいかあるいは四十六例でないかもしくは両方ともである」ということは成り立たない fact7: 「もし仮に正当化出来ないとしたら「踏み下ろすかあるいは専用する」ということは嘘である」物はある fact8: 「もしも不当逮捕するとしたら「溢れ落ちるかあるいは空洞でない」ということは誤っている」物はある fact9: もしあの薬局はぼやくということはないならば「それは香しいかあるいは横目であるかあるいは両方だ」ということは誤っている
fact3 -> hypothesis;
もし仮にこのビタミンＤ不足は把握し辛くないとしたら「それはトリップするかまたは生き辛くないかまたはどちらもである」ということは成り立たない
fact10 -> hypothesis;
$facts$ = fact1: 仮にあの償却限度額はラビでないとすれば「それは行き来出来るかもしくは横目でないか両方である」ということは偽だ fact2: なんらかの物は把握し辛いということはないとすると「トリップするかあるいは生き辛くない」ということは嘘だ fact3: あの薬局は四十六例でないなら「「それは海路であるかもしくはそれは横目でないかもしくは両方ともだ」ということは事実だ」ということは間違いだ fact4: もしこの周年は横目でないならば「文法的選択であるかあるいは大豆イソフラボンであるかもしくは両方である」ということは偽だ fact5: もしもあの薬局は四十六例だとすれば「それは海路であるかそれは横目であるということはないかまたは両方ともだ」ということは間違っている fact6: 仮にあの薬局は鑑賞し易くないならば「それは小賢しいかあるいは四十六例でないかもしくは両方ともである」ということは成り立たない fact7: 「もし仮に正当化出来ないとしたら「踏み下ろすかあるいは専用する」ということは嘘である」物はある fact8: 「もしも不当逮捕するとしたら「溢れ落ちるかあるいは空洞でない」ということは誤っている」物はある fact9: もしあの薬局はぼやくということはないならば「それは香しいかあるいは横目であるかあるいは両方だ」ということは誤っている ; $hypothesis$ = 「四十六例でないならば「「海路であるかもしくは横目でないかもしくはどちらもである」ということは確かである」ということは成り立たない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮にあの償却限度額はラビでないとすれば「それは行き来出来るかもしくは横目でないか両方である」ということは偽だ
事実2: なんらかの物は把握し辛いということはないとすると「トリップするかあるいは生き辛くない」ということは嘘だ
事実3: あの薬局は四十六例でないなら「「それは海路であるかもしくはそれは横目でないかもしくは両方ともだ」ということは事実だ」ということは間違いだ
事実4: もしこの周年は横目でないならば「文法的選択であるかあるいは大豆イソフラボンであるかもしくは両方である」ということは偽だ
事実5: もしもあの薬局は四十六例だとすれば「それは海路であるかそれは横目であるということはないかまたは両方ともだ」ということは間違っている
事実6: 仮にあの薬局は鑑賞し易くないならば「それは小賢しいかあるいは四十六例でないかもしくは両方ともである」ということは成り立たない
事実7: 「もし仮に正当化出来ないとしたら「踏み下ろすかあるいは専用する」ということは嘘である」物はある
事実8: 「もしも不当逮捕するとしたら「溢れ落ちるかあるいは空洞でない」ということは誤っている」物はある
事実9: もしあの薬局はぼやくということはないならば「それは香しいかあるいは横目であるかあるいは両方だ」ということは誤っている

仮説: 「四十六例でないならば「「海路であるかもしくは横目でないかもしくはどちらもである」ということは確かである」ということは成り立たない」ものはある
1. 事実3から、仮説が導かれる

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