その手前味噌はルーティーンでない
fact1: 「「返し値だということはないしかつ一眠りする」ということは成り立たない」物はある fact2: 「「返し値でなくてかつ一眠りする」ということは間違っている」物があればその手前味噌はルーティーンだ
$facts$ = fact1: 「「返し値だということはないしかつ一眠りする」ということは成り立たない」物はある fact2: 「「返し値でなくてかつ一眠りする」ということは間違っている」物があればその手前味噌はルーティーンだ ; $hypothesis$ = その手前味噌はルーティーンでない ; $proof$ = 
事実1: 「「返し値だということはないしかつ一眠りする」ということは成り立たない」物はある
事実2: 「「返し値でなくてかつ一眠りする」ということは間違っている」物があればその手前味噌はルーティーンだ

仮説: その手前味噌はルーティーンでない