「その排卵誘発剤はディズニー映画であるなら「この風は前指数であるけれどべた付き易くない」ということは誤っている」ということは事実と異なる
fact1: その排卵誘発剤は素早い fact2: その排卵誘発剤がディズニー映画でまた素早いとするとそのバタは前指数でない fact3: その排卵誘発剤はべた付き易い fact4: 仮にそのバタは前指数でないならば「この風が前指数だしその上それはべた付き易い」ということは偽だ fact5: 仮にそのバタは前指数でないなら「この風は前指数だ一方でべた付き易いということはない」ということは成り立たない fact6: もしもとある物はディズニー映画であるということはないなら「それは前指数だ一方で手早くない」ということは偽だ
void -> assump1: 以下のように仮定する。その排卵誘発剤はディズニー映画である; assump1 & fact1 -> int1: その排卵誘発剤はディズニー映画であるし更に素早い; int1 & fact2 -> int2: そのバタは前指数でない; int2 & fact5 -> int3: 「この風は前指数だけどべた付き易くない」ということは誤りである; [assump1] & int3 -> hypothesis;
「この計測信号は前指数であるけど手早くない」ということは事実でない
fact7 -> int4: 仮にこの計測信号はディズニー映画でないとしたら「前指数であるけれど手早くない」ということは誤りである;
$facts$ = fact1: その排卵誘発剤は素早い fact2: その排卵誘発剤がディズニー映画でまた素早いとするとそのバタは前指数でない fact3: その排卵誘発剤はべた付き易い fact4: 仮にそのバタは前指数でないならば「この風が前指数だしその上それはべた付き易い」ということは偽だ fact5: 仮にそのバタは前指数でないなら「この風は前指数だ一方でべた付き易いということはない」ということは成り立たない fact6: もしもとある物はディズニー映画であるということはないなら「それは前指数だ一方で手早くない」ということは偽だ ; $hypothesis$ = 「その排卵誘発剤はディズニー映画であるなら「この風は前指数であるけれどべた付き易くない」ということは誤っている」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。その排卵誘発剤はディズニー映画である; assump1 & fact1 -> int1: その排卵誘発剤はディズニー映画であるし更に素早い; int1 & fact2 -> int2: そのバタは前指数でない; int2 & fact5 -> int3: 「この風は前指数だけどべた付き易くない」ということは誤りである; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その排卵誘発剤は素早い
事実2: その排卵誘発剤がディズニー映画でまた素早いとするとそのバタは前指数でない
事実3: その排卵誘発剤はべた付き易い
事実4: 仮にそのバタは前指数でないならば「この風が前指数だしその上それはべた付き易い」ということは偽だ
事実5: 仮にそのバタは前指数でないなら「この風は前指数だ一方でべた付き易いということはない」ということは成り立たない
事実6: もしもとある物はディズニー映画であるということはないなら「それは前指数だ一方で手早くない」ということは偽だ

仮説: 「その排卵誘発剤はディズニー映画であるなら「この風は前指数であるけれどべた付き易くない」ということは誤っている」ということは事実と異なる
1. 仮定1: 以下のように仮定する。その排卵誘発剤はディズニー映画である
2. 仮定1と事実1から、推論1: "その排卵誘発剤はディズニー映画であるし更に素早い"が導かれる
3. 推論1と事実2から、推論2: "そのバタは前指数でない"が導かれる
4. 推論2と事実5から、推論3: "「この風は前指数だけどべた付き易くない」ということは誤りである"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。