「その障害名は長たらしいということはない」ということは成り立つ
fact1: その障害名は癒し難い fact2: その障害名は長たらしい fact3: その障害名は尿失禁だ fact4: あの落選は長たらしい fact5: あどけないものは長たらしい fact6: そのミニテクニックは長たらしい fact7: その抵抗反応は長たらしい
fact2 -> hypothesis;
fact2 -> hypothesis;
そのコンピューター画面は長たらしい
fact8 -> int1: もしそのコンピューター画面があどけないとするとそれは長たらしい;
$facts$ = fact1: その障害名は癒し難い fact2: その障害名は長たらしい fact3: その障害名は尿失禁だ fact4: あの落選は長たらしい fact5: あどけないものは長たらしい fact6: そのミニテクニックは長たらしい fact7: その抵抗反応は長たらしい ; $hypothesis$ = 「その障害名は長たらしいということはない」ということは成り立つ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: その障害名は癒し難い
事実2: その障害名は長たらしい
事実3: その障害名は尿失禁だ
事実4: あの落選は長たらしい
事実5: あどけないものは長たらしい
事実6: そのミニテクニックは長たらしい
事実7: その抵抗反応は長たらしい

仮説: 「その障害名は長たらしいということはない」ということは成り立つ
1. 事実2から、仮説が否定される

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