「「もし「気難しいけれどＳＦＡＣであるということはない」ということは誤りならせしめる」物はある」ということは本当であるということはない
fact1: もしも「何らかのものはコンプライアンスである一方で決議文でない」ということは嘘だとすればそれは掴みだ fact2: 「もし仮に「訪室するがしかし曲がりくねらない」ということは成り立たないとすれば適合出来る」物はある fact3: もしこの嘔吐は気難しいがＳＦＡＣでないとしたらせしめる fact4: もしもこの嘔吐が気難しくないとしたらせしめる fact5: もし仮に「この嘔吐は気難しい一方でＳＦＡＣでない」ということは成り立たないならせしめる
fact5 -> hypothesis;
「もし「コンプライアンスであるしまた決議文でない」ということは成り立つということはないなら掴みな」ものはある
fact6 -> int1: もしも「あの元はコンプライアンスだ一方で決議文でない」ということは偽だとしたら掴みだ; int1 -> hypothesis;
$facts$ = fact1: もしも「何らかのものはコンプライアンスである一方で決議文でない」ということは嘘だとすればそれは掴みだ fact2: 「もし仮に「訪室するがしかし曲がりくねらない」ということは成り立たないとすれば適合出来る」物はある fact3: もしこの嘔吐は気難しいがＳＦＡＣでないとしたらせしめる fact4: もしもこの嘔吐が気難しくないとしたらせしめる fact5: もし仮に「この嘔吐は気難しい一方でＳＦＡＣでない」ということは成り立たないならせしめる ; $hypothesis$ = 「「もし「気難しいけれどＳＦＡＣであるということはない」ということは誤りならせしめる」物はある」ということは本当であるということはない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もしも「何らかのものはコンプライアンスである一方で決議文でない」ということは嘘だとすればそれは掴みだ
事実2: 「もし仮に「訪室するがしかし曲がりくねらない」ということは成り立たないとすれば適合出来る」物はある
事実3: もしこの嘔吐は気難しいがＳＦＡＣでないとしたらせしめる
事実4: もしもこの嘔吐が気難しくないとしたらせしめる
事実5: もし仮に「この嘔吐は気難しい一方でＳＦＡＣでない」ということは成り立たないならせしめる

仮説: 「「もし「気難しいけれどＳＦＡＣであるということはない」ということは誤りならせしめる」物はある」ということは本当であるということはない
1. 事実5から、仮説が否定される

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