あの右手は長たらしくない
fact1: 仮に「その刺繍入りは睡眠表であるがしかし素晴らしない」ということは間違いであるとするとあの右手は長たらしくない fact2: 仮に「その刺繍入りは素晴らしがそれは長たらしくない」ということは成り立たないならあの右手は睡眠表であるということはない fact3: 「その刺繍入りが睡眠表だけど素晴らしない」ということは嘘だ fact4: もしもその刺繍入りが睡眠表だということはないとすればあの右手は長たらしいということはない fact5: もし仮にその刺繍入りが長たらしくないしその上睡眠表でないとするとあの右手は睡眠表であるということはない fact6: もしも何らかのものがむくつけしないとすると長たらしくてさらに解け易い
fact1 & fact3 -> hypothesis;
あの右手は睡眠表でない
$facts$ = fact1: 仮に「その刺繍入りは睡眠表であるがしかし素晴らしない」ということは間違いであるとするとあの右手は長たらしくない fact2: 仮に「その刺繍入りは素晴らしがそれは長たらしくない」ということは成り立たないならあの右手は睡眠表であるということはない fact3: 「その刺繍入りが睡眠表だけど素晴らしない」ということは嘘だ fact4: もしもその刺繍入りが睡眠表だということはないとすればあの右手は長たらしいということはない fact5: もし仮にその刺繍入りが長たらしくないしその上睡眠表でないとするとあの右手は睡眠表であるということはない fact6: もしも何らかのものがむくつけしないとすると長たらしくてさらに解け易い ; $hypothesis$ = あの右手は長たらしくない ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: 仮に「その刺繍入りは睡眠表であるがしかし素晴らしない」ということは間違いであるとするとあの右手は長たらしくない
事実2: 仮に「その刺繍入りは素晴らしがそれは長たらしくない」ということは成り立たないならあの右手は睡眠表であるということはない
事実3: 「その刺繍入りが睡眠表だけど素晴らしない」ということは嘘だ
事実4: もしもその刺繍入りが睡眠表だということはないとすればあの右手は長たらしいということはない
事実5: もし仮にその刺繍入りが長たらしくないしその上睡眠表でないとするとあの右手は睡眠表であるということはない
事実6: もしも何らかのものがむくつけしないとすると長たらしくてさらに解け易い

仮説: あの右手は長たらしくない
1. 事実1と事実3から、仮説が導かれる

よって、仮説が証明されました。