「あのＡＤＳＬは初々しくてかつそれは水臭い」ということは成り立つということはないとするとふてぶてしくない
fact1: もし「あのＡＤＳＬは初々しくてそれに水臭い」ということは誤っているとしたらふてぶてしい fact2: もしもあのＡＤＳＬが初々しかないとしたらそれはふてぶてしくない fact3: 「なにかは初々しいしまた水臭い」ということは偽であるとすればふてぶてしくない fact4: なにかは初々しかないとしたらふてぶてしくない
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もし「あのＡＤＳＬは初々しくてそれに水臭い」ということは誤っているとしたらふてぶてしい fact2: もしもあのＡＤＳＬが初々しかないとしたらそれはふてぶてしくない fact3: 「なにかは初々しいしまた水臭い」ということは偽であるとすればふてぶてしくない fact4: なにかは初々しかないとしたらふてぶてしくない ; $hypothesis$ = 「あのＡＤＳＬは初々しくてかつそれは水臭い」ということは成り立つということはないとするとふてぶてしくない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし「あのＡＤＳＬは初々しくてそれに水臭い」ということは誤っているとしたらふてぶてしい
事実2: もしもあのＡＤＳＬが初々しかないとしたらそれはふてぶてしくない
事実3: 「なにかは初々しいしまた水臭い」ということは偽であるとすればふてぶてしくない
事実4: なにかは初々しかないとしたらふてぶてしくない

仮説: 「あのＡＤＳＬは初々しくてかつそれは水臭い」ということは成り立つということはないとするとふてぶてしくない
1. 事実3から、仮説が導かれる

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