「「もしも親しとすると固し」物はある」ということは成り立たない
fact1: 「もし持て成すとすると「不正侵入する」ということは正しい」ものはある fact2: 「仮に船室であるならば西下する」ものはある fact3: もしもその道一筋がコンパイルするとすればそれは固し fact4: その道一筋が転び易いとしたらそれは親し fact5: 「紅姫であるとしたら以外である」ものはある fact6: その道一筋は親らしいとすれば「それは流れ出す」ということは成り立つ fact7: その道一筋が親しならそれは固し
fact7 -> hypothesis;
$facts$ = fact1: 「もし持て成すとすると「不正侵入する」ということは正しい」ものはある fact2: 「仮に船室であるならば西下する」ものはある fact3: もしもその道一筋がコンパイルするとすればそれは固し fact4: その道一筋が転び易いとしたらそれは親し fact5: 「紅姫であるとしたら以外である」ものはある fact6: その道一筋は親らしいとすれば「それは流れ出す」ということは成り立つ fact7: その道一筋が親しならそれは固し ; $hypothesis$ = 「「もしも親しとすると固し」物はある」ということは成り立たない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: 「もし持て成すとすると「不正侵入する」ということは正しい」ものはある
事実2: 「仮に船室であるならば西下する」ものはある
事実3: もしもその道一筋がコンパイルするとすればそれは固し
事実4: その道一筋が転び易いとしたらそれは親し
事実5: 「紅姫であるとしたら以外である」ものはある
事実6: その道一筋は親らしいとすれば「それは流れ出す」ということは成り立つ
事実7: その道一筋が親しならそれは固し

仮説: 「「もしも親しとすると固し」物はある」ということは成り立たない
1. 事実7から、仮説が否定される

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