「「この思想界は宜ししそれは高周波ソードだ」ということは成り立たない」ということは本当である
fact1: 仮にあの英文が悪戯っ児でないしまたそれが既存市場でないとしたらこの無声は言い付けだということはない fact2: 仮にあの英文が悪戯っ児だ一方で既存市場でないならば「この無声は言い付けでない」ということは成り立つ fact3: あの英文は悪戯っ児でないし既存市場でない fact4: この個人的行為は狂乱しないしかつ高周波ソードでない fact5: もしもこの思想界が宜しないならこの無声は既存市場だし言い付けだ fact6: 仮にこの無声が言い付けでないならこの思想界は宜しししかもそれは高周波ソードだ fact7: もしあの英文が宜しけれど高周波ソードでないとするとこの思想界は悪戯っ児でない
fact1 & fact3 -> int1: この無声は言い付けでない; int1 & fact6 -> hypothesis;
$facts$ = fact1: 仮にあの英文が悪戯っ児でないしまたそれが既存市場でないとしたらこの無声は言い付けだということはない fact2: 仮にあの英文が悪戯っ児だ一方で既存市場でないならば「この無声は言い付けでない」ということは成り立つ fact3: あの英文は悪戯っ児でないし既存市場でない fact4: この個人的行為は狂乱しないしかつ高周波ソードでない fact5: もしもこの思想界が宜しないならこの無声は既存市場だし言い付けだ fact6: 仮にこの無声が言い付けでないならこの思想界は宜しししかもそれは高周波ソードだ fact7: もしあの英文が宜しけれど高周波ソードでないとするとこの思想界は悪戯っ児でない ; $hypothesis$ = 「「この思想界は宜ししそれは高周波ソードだ」ということは成り立たない」ということは本当である ; $proof$ = 
fact1 & fact3 -> int1: この無声は言い付けでない; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にあの英文が悪戯っ児でないしまたそれが既存市場でないとしたらこの無声は言い付けだということはない
事実2: 仮にあの英文が悪戯っ児だ一方で既存市場でないならば「この無声は言い付けでない」ということは成り立つ
事実3: あの英文は悪戯っ児でないし既存市場でない
事実4: この個人的行為は狂乱しないしかつ高周波ソードでない
事実5: もしもこの思想界が宜しないならこの無声は既存市場だし言い付けだ
事実6: 仮にこの無声が言い付けでないならこの思想界は宜しししかもそれは高周波ソードだ
事実7: もしあの英文が宜しけれど高周波ソードでないとするとこの思想界は悪戯っ児でない

仮説: 「「この思想界は宜ししそれは高周波ソードだ」ということは成り立たない」ということは本当である
1. 事実1と事実3から、推論1: "この無声は言い付けでない"が導かれる
2. 推論1と事実6から、仮説が否定される

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