あの魚屋さんは楽しくない
fact1: 仮にあの上・中・下は擦り減らさないならば「あの魚屋さんは楽しい」ということは成り立つ fact2: あの上・中・下は擦り減らすということはない fact3: あの光学式は擦り減らすということはない
$facts$ = fact1: 仮にあの上・中・下は擦り減らさないならば「あの魚屋さんは楽しい」ということは成り立つ fact2: あの上・中・下は擦り減らすということはない fact3: あの光学式は擦り減らすということはない ; $hypothesis$ = あの魚屋さんは楽しくない ; $proof$ = 
事実1: 仮にあの上・中・下は擦り減らさないならば「あの魚屋さんは楽しい」ということは成り立つ
事実2: あの上・中・下は擦り減らすということはない
事実3: あの光学式は擦り減らすということはない

仮説: あの魚屋さんは楽しくない