「そのコレステロール低下剤は食べ終わらないがしかし節約効果だ」ということは成り立たない
fact1: この順位担保権者はすっごーくない fact2: もしもこの順位担保権者はすっごーいということはないとすると「そのコレステロール低下剤は食べ終わらない一方で節約効果である」ということは誤りである
$facts$ = fact1: この順位担保権者はすっごーくない fact2: もしもこの順位担保権者はすっごーいということはないとすると「そのコレステロール低下剤は食べ終わらない一方で節約効果である」ということは誤りである ; $hypothesis$ = 「そのコレステロール低下剤は食べ終わらないがしかし節約効果だ」ということは成り立たない ; $proof$ = 
事実1: この順位担保権者はすっごーくない
事実2: もしもこの順位担保権者はすっごーいということはないとすると「そのコレステロール低下剤は食べ終わらない一方で節約効果である」ということは誤りである

仮説: 「そのコレステロール低下剤は食べ終わらないがしかし節約効果だ」ということは成り立たない