「この四十八ページ参照は痛ーいし美しい」ということは事実と異なる
fact1: どれもこれもは薄っぺらいししかも心置き無い fact2: この四十八ページ参照はぶっとくなくて更に引き易くない fact3: もしこの四十八ページ参照がぶっとかなくて引き易くないとしたらそれは痛ーい fact4: この四十八ページ参照は美しいし薄っぺらい
fact3 & fact2 -> int1: この四十八ページ参照は痛ーい; fact4 -> int2: 「この四十八ページ参照は美しい」ということは成り立つ; int1 & int2 -> hypothesis;
fact3 & fact2 -> int1: {B}{a}; fact4 -> int2: {A}{a}; int1 & int2 -> hypothesis;
その要注意は心置き無いしそれに利き難い
fact5 -> int3: その要注意は薄っぺらいし更に心置き無い; int3 -> int4: その要注意は心置き無い;
$facts$ = fact1: どれもこれもは薄っぺらいししかも心置き無い fact2: この四十八ページ参照はぶっとくなくて更に引き易くない fact3: もしこの四十八ページ参照がぶっとかなくて引き易くないとしたらそれは痛ーい fact4: この四十八ページ参照は美しいし薄っぺらい ; $hypothesis$ = 「この四十八ページ参照は痛ーいし美しい」ということは事実と異なる ; $proof$ = 
fact3 & fact2 -> int1: この四十八ページ参照は痛ーい; fact4 -> int2: 「この四十八ページ参照は美しい」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: どれもこれもは薄っぺらいししかも心置き無い
事実2: この四十八ページ参照はぶっとくなくて更に引き易くない
事実3: もしこの四十八ページ参照がぶっとかなくて引き易くないとしたらそれは痛ーい
事実4: この四十八ページ参照は美しいし薄っぺらい

仮説: 「この四十八ページ参照は痛ーいし美しい」ということは事実と異なる
1. 事実3と事実2から、推論1: "この四十八ページ参照は痛ーい"が導かれる
2. 事実4から、推論2: "「この四十八ページ参照は美しい」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。