「「もしもエロ小説であるならば「掴み難いけど報いない」ということは真実でない」ものはある」ということは成り立たない
fact1: もしもとあるものは中国脅威論だとすれば「それは異国船であるしまたそれは手荒くない」ということは誤りだ fact2: もし「あのＳＣは掴み難い」ということは確かであるとしたら「目敏いがしかし日本人マネージャーだということはない」ということは成り立つということはない fact3: 「エロ小説であるとしたら掴み難くて報いるということはない」ものはある fact4: もしあのＳＣは解し難いなら「「それは似付かわしいしそれは封ずる」ということは事実だ」ということは事実と異なる fact5: もしもあのＳＣはエロ小説であるとすれば「掴み難くてさらにそれは報いない」ということは偽である fact6: もしあのＳＣがエロ小説であるならそれは掴み難いしそれは報いない fact7: もしその邸宅はイニングであるなら「掴み難いし加えて虜だ」ということは成り立つということはない fact8: 仮にあのＳＣはエロ小説であるなら「それは掴み難くて報いる」ということは偽である fact9: 「もしも遜色無いならば「友達である一方で計画出来るということはない」ということは嘘な」ものはある
fact5 -> hypothesis;
「中国脅威論であるとすると「異国船であるしそれに手荒くない」ということは成り立つということはない」物はある
fact10 -> int1: このシアーは中国脅威論だとしたら「異国船であるしそれにそれは手荒くない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もしもとあるものは中国脅威論だとすれば「それは異国船であるしまたそれは手荒くない」ということは誤りだ fact2: もし「あのＳＣは掴み難い」ということは確かであるとしたら「目敏いがしかし日本人マネージャーだということはない」ということは成り立つということはない fact3: 「エロ小説であるとしたら掴み難くて報いるということはない」ものはある fact4: もしあのＳＣは解し難いなら「「それは似付かわしいしそれは封ずる」ということは事実だ」ということは事実と異なる fact5: もしもあのＳＣはエロ小説であるとすれば「掴み難くてさらにそれは報いない」ということは偽である fact6: もしあのＳＣがエロ小説であるならそれは掴み難いしそれは報いない fact7: もしその邸宅はイニングであるなら「掴み難いし加えて虜だ」ということは成り立つということはない fact8: 仮にあのＳＣはエロ小説であるなら「それは掴み難くて報いる」ということは偽である fact9: 「もしも遜色無いならば「友達である一方で計画出来るということはない」ということは嘘な」ものはある ; $hypothesis$ = 「「もしもエロ小説であるならば「掴み難いけど報いない」ということは真実でない」ものはある」ということは成り立たない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もしもとあるものは中国脅威論だとすれば「それは異国船であるしまたそれは手荒くない」ということは誤りだ
事実2: もし「あのＳＣは掴み難い」ということは確かであるとしたら「目敏いがしかし日本人マネージャーだということはない」ということは成り立つということはない
事実3: 「エロ小説であるとしたら掴み難くて報いるということはない」ものはある
事実4: もしあのＳＣは解し難いなら「「それは似付かわしいしそれは封ずる」ということは事実だ」ということは事実と異なる
事実5: もしもあのＳＣはエロ小説であるとすれば「掴み難くてさらにそれは報いない」ということは偽である
事実6: もしあのＳＣがエロ小説であるならそれは掴み難いしそれは報いない
事実7: もしその邸宅はイニングであるなら「掴み難いし加えて虜だ」ということは成り立つということはない
事実8: 仮にあのＳＣはエロ小説であるなら「それは掴み難くて報いる」ということは偽である
事実9: 「もしも遜色無いならば「友達である一方で計画出来るということはない」ということは嘘な」ものはある

仮説: 「「もしもエロ小説であるならば「掴み難いけど報いない」ということは真実でない」ものはある」ということは成り立たない
1. 事実5から、仮説が否定される

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