「「仮に「校内でないがしかしキスする」ということは成り立たないとすると答え難い」ものはある」ということは成り立たない
fact1: 「もし仮に「校内だしキスする」ということは成り立たないとしたら答え難い」ものはある fact2: 「もしも「キスしない」ということは嘘でないなら答え難い」物はある fact3: もし仮に「なにがしかの物は九十年イタリア大会でないけど答え難い」ということは嘘であるとするとショールだ fact4: あのガードブレイク技は校内でない一方でキスすれば答え難い fact5: もし仮に「あるものは校内でないがキスする」ということは誤りであるなら答え難い fact6: 仮にあのガードブレイク技は校内であるとすればそれは答え難い fact7: もしとあるものは校内でないがしかしキスすれば答え難い fact8: 「仮に校内であるならば答え難い」物はある fact9: 「校内でないがキスするとすれば答え難い」物はある fact10: もし「この市川等はキスしないがしかし護国である」ということは成り立たないとすればそれは時鳥だ
fact5 -> int1: もし仮に「あのガードブレイク技は校内でないがそれはキスする」ということは間違いであるならば「答え難い」ということは成り立つ; int1 -> hypothesis;
もしも「その義務教育は九十年イタリア大会でないけど答え難い」ということは間違っているとするとショールだ
fact11 -> hypothesis;
$facts$ = fact1: 「もし仮に「校内だしキスする」ということは成り立たないとしたら答え難い」ものはある fact2: 「もしも「キスしない」ということは嘘でないなら答え難い」物はある fact3: もし仮に「なにがしかの物は九十年イタリア大会でないけど答え難い」ということは嘘であるとするとショールだ fact4: あのガードブレイク技は校内でない一方でキスすれば答え難い fact5: もし仮に「あるものは校内でないがキスする」ということは誤りであるなら答え難い fact6: 仮にあのガードブレイク技は校内であるとすればそれは答え難い fact7: もしとあるものは校内でないがしかしキスすれば答え難い fact8: 「仮に校内であるならば答え難い」物はある fact9: 「校内でないがキスするとすれば答え難い」物はある fact10: もし「この市川等はキスしないがしかし護国である」ということは成り立たないとすればそれは時鳥だ ; $hypothesis$ = 「「仮に「校内でないがしかしキスする」ということは成り立たないとすると答え難い」ものはある」ということは成り立たない ; $proof$ = 
fact5 -> int1: もし仮に「あのガードブレイク技は校内でないがそれはキスする」ということは間違いであるならば「答え難い」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「校内だしキスする」ということは成り立たないとしたら答え難い」ものはある
事実2: 「もしも「キスしない」ということは嘘でないなら答え難い」物はある
事実3: もし仮に「なにがしかの物は九十年イタリア大会でないけど答え難い」ということは嘘であるとするとショールだ
事実4: あのガードブレイク技は校内でない一方でキスすれば答え難い
事実5: もし仮に「あるものは校内でないがキスする」ということは誤りであるなら答え難い
事実6: 仮にあのガードブレイク技は校内であるとすればそれは答え難い
事実7: もしとあるものは校内でないがしかしキスすれば答え難い
事実8: 「仮に校内であるならば答え難い」物はある
事実9: 「校内でないがキスするとすれば答え難い」物はある
事実10: もし「この市川等はキスしないがしかし護国である」ということは成り立たないとすればそれは時鳥だ

仮説: 「「仮に「校内でないがしかしキスする」ということは成り立たないとすると答え難い」ものはある」ということは成り立たない
1. 事実5から、推論1: "もし仮に「あのガードブレイク技は校内でないがそれはキスする」ということは間違いであるならば「答え難い」ということは成り立つ"が導かれる
2. 推論1から、仮説が否定される

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