「「「喉頸でない」ということは本当だとしたら「連発しなくてしかも用いる」ということは成り立たない」ものはある」ということは嘘だ
fact1: もしもこのＡＮＸは喉頸であるなら「「それは連発するということはないがしかし用いる」ということは正しい」ということは偽である fact2: 仮にこのＡＮＸは喉頸だということはないなら「それは連発しないけど用いる」ということは成り立たない fact3: 「もし喉頸だということはないとしたら「連発するしその上用いる」ということは間違っている」物はある fact4: 「もし仮に喉頸だとすると「連発しないがしかし用いる」ということは誤りである」物はある fact5: 「仮に喉頸でないならば連発するということはないし用いる」ものはある fact6: 「「アレンジ出来ない」ということは正しいとしたら「広がり易くないがしかし可愛らしい」ということは成り立たない」物はある fact7: このＡＮＸが喉頸でないとすれば連発するということはなくて加えてそれは用いる
fact2 -> hypothesis;
$facts$ = fact1: もしもこのＡＮＸは喉頸であるなら「「それは連発するということはないがしかし用いる」ということは正しい」ということは偽である fact2: 仮にこのＡＮＸは喉頸だということはないなら「それは連発しないけど用いる」ということは成り立たない fact3: 「もし喉頸だということはないとしたら「連発するしその上用いる」ということは間違っている」物はある fact4: 「もし仮に喉頸だとすると「連発しないがしかし用いる」ということは誤りである」物はある fact5: 「仮に喉頸でないならば連発するということはないし用いる」ものはある fact6: 「「アレンジ出来ない」ということは正しいとしたら「広がり易くないがしかし可愛らしい」ということは成り立たない」物はある fact7: このＡＮＸが喉頸でないとすれば連発するということはなくて加えてそれは用いる ; $hypothesis$ = 「「「喉頸でない」ということは本当だとしたら「連発しなくてしかも用いる」ということは成り立たない」ものはある」ということは嘘だ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もしもこのＡＮＸは喉頸であるなら「「それは連発するということはないがしかし用いる」ということは正しい」ということは偽である
事実2: 仮にこのＡＮＸは喉頸だということはないなら「それは連発しないけど用いる」ということは成り立たない
事実3: 「もし喉頸だということはないとしたら「連発するしその上用いる」ということは間違っている」物はある
事実4: 「もし仮に喉頸だとすると「連発しないがしかし用いる」ということは誤りである」物はある
事実5: 「仮に喉頸でないならば連発するということはないし用いる」ものはある
事実6: 「「アレンジ出来ない」ということは正しいとしたら「広がり易くないがしかし可愛らしい」ということは成り立たない」物はある
事実7: このＡＮＸが喉頸でないとすれば連発するということはなくて加えてそれは用いる

仮説: 「「「喉頸でない」ということは本当だとしたら「連発しなくてしかも用いる」ということは成り立たない」ものはある」ということは嘘だ
1. 事実2から、仮説が否定される

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