この三田尻はしょぼくれる
fact1: そのカウンタ変数は乗り換える fact2: この三田尻が乗り換えるとするとしょぼくれる fact3: この三田尻は乗り換える
$facts$ = fact1: そのカウンタ変数は乗り換える fact2: この三田尻が乗り換えるとするとしょぼくれる fact3: この三田尻は乗り換える ; $hypothesis$ = この三田尻はしょぼくれる ; $proof$ = 
事実1: そのカウンタ変数は乗り換える
事実2: この三田尻が乗り換えるとするとしょぼくれる
事実3: この三田尻は乗り換える

仮説: この三田尻はしょぼくれる