「「仮に頸でないとすれば遷都するし更に花虻だということはない」ものはある」ということは嘘だ
fact1: もしも「このアデノは頸であるということはない」ということは成り立たないとすると遷都するしそれは花虻でない fact2: 「もし頸だとしたら遷都するし花虻でない」物はある fact3: もしもこのアデノは頸でないならば遷都する fact4: 「もししぶとくないとしたら金融界であるけど湿っぽくない」物はある fact5: 「仮に頸でないならば花虻でない」ものはある fact6: 「頸でないとすると遷都するしさらに花虻である」物はある fact7: もしもこのアデノは頸でないとすると遷都するけど花虻であるということはない fact8: 「「もし仮に頸でないならば遷都する」物はある」ということは誤っているということはない
fact7 -> hypothesis;
$facts$ = fact1: もしも「このアデノは頸であるということはない」ということは成り立たないとすると遷都するしそれは花虻でない fact2: 「もし頸だとしたら遷都するし花虻でない」物はある fact3: もしもこのアデノは頸でないならば遷都する fact4: 「もししぶとくないとしたら金融界であるけど湿っぽくない」物はある fact5: 「仮に頸でないならば花虻でない」ものはある fact6: 「頸でないとすると遷都するしさらに花虻である」物はある fact7: もしもこのアデノは頸でないとすると遷都するけど花虻であるということはない fact8: 「「もし仮に頸でないならば遷都する」物はある」ということは誤っているということはない ; $hypothesis$ = 「「仮に頸でないとすれば遷都するし更に花虻だということはない」ものはある」ということは嘘だ ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: もしも「このアデノは頸であるということはない」ということは成り立たないとすると遷都するしそれは花虻でない
事実2: 「もし頸だとしたら遷都するし花虻でない」物はある
事実3: もしもこのアデノは頸でないならば遷都する
事実4: 「もししぶとくないとしたら金融界であるけど湿っぽくない」物はある
事実5: 「仮に頸でないならば花虻でない」ものはある
事実6: 「頸でないとすると遷都するしさらに花虻である」物はある
事実7: もしもこのアデノは頸でないとすると遷都するけど花虻であるということはない
事実8: 「「もし仮に頸でないならば遷都する」物はある」ということは誤っているということはない

仮説: 「「仮に頸でないとすれば遷都するし更に花虻だということはない」ものはある」ということは嘘だ
1. 事実7から、仮説が否定される

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