「この嚥下反射は訴えであるが末恐ろしくない」ということは間違いである
fact1: リモートサイトが腹立たしいとすると浮き出さない fact2: 「「あの規約型は薄汚くなくて愛くるしくない」ということは真実である」ということは偽である fact3: 「この嚥下反射は美術室であるししかもそれは訴えだ」ということは真実である fact4: もしもあの規約型は腹立たしいとすれば「この嚥下反射は訴えだがしかし末恐ろしいということはない」ということは間違いである fact5: 「その銀本位制はたかりであるししかも腹立たしい」ということは真実だ fact6: もし仮に「あの規約型は薄汚くないし愛くるしくない」ということは成り立たないならばあの銀本位制はリモートサイトである fact7: この嚥下反射は美術室でまた歯痒い fact8: 仮になんらかのものが美術室でないなら腹立たしくてそれはリモートサイトだ fact9: もし「その銀本位制は浮き出すということはない」ということは成り立つとしたらこの嚥下反射は末恐ろしくない fact10: その銀本位制はたかりだ
fact6 & fact2 -> int1: その銀本位制はリモートサイトだ; fact5 -> int2: その銀本位制は腹立たしい; int1 & int2 -> int3: その銀本位制はリモートサイトでその上腹立たしい; fact1 -> int4: その銀本位制がリモートサイトでそれが腹立たしいとすればそれは浮き出さない; int3 & int4 -> int5: その銀本位制は浮き出さない; int5 & fact9 -> int6: この嚥下反射は末恐ろしくない; fact3 -> int7: この嚥下反射は訴えだ; int6 & int7 -> hypothesis;
「この嚥下反射は訴えである一方で末恐ろしくない」ということは偽である
fact11 -> int8: もし仮にこのドイツ式が美術室であるということはないとしたら腹立たしくてそれにリモートサイトである;
$facts$ = fact1: リモートサイトが腹立たしいとすると浮き出さない fact2: 「「あの規約型は薄汚くなくて愛くるしくない」ということは真実である」ということは偽である fact3: 「この嚥下反射は美術室であるししかもそれは訴えだ」ということは真実である fact4: もしもあの規約型は腹立たしいとすれば「この嚥下反射は訴えだがしかし末恐ろしいということはない」ということは間違いである fact5: 「その銀本位制はたかりであるししかも腹立たしい」ということは真実だ fact6: もし仮に「あの規約型は薄汚くないし愛くるしくない」ということは成り立たないならばあの銀本位制はリモートサイトである fact7: この嚥下反射は美術室でまた歯痒い fact8: 仮になんらかのものが美術室でないなら腹立たしくてそれはリモートサイトだ fact9: もし「その銀本位制は浮き出すということはない」ということは成り立つとしたらこの嚥下反射は末恐ろしくない fact10: その銀本位制はたかりだ ; $hypothesis$ = 「この嚥下反射は訴えであるが末恐ろしくない」ということは間違いである ; $proof$ = 
fact6 & fact2 -> int1: その銀本位制はリモートサイトだ; fact5 -> int2: その銀本位制は腹立たしい; int1 & int2 -> int3: その銀本位制はリモートサイトでその上腹立たしい; fact1 -> int4: その銀本位制がリモートサイトでそれが腹立たしいとすればそれは浮き出さない; int3 & int4 -> int5: その銀本位制は浮き出さない; int5 & fact9 -> int6: この嚥下反射は末恐ろしくない; fact3 -> int7: この嚥下反射は訴えだ; int6 & int7 -> hypothesis; __DISPROVED__
事実1: リモートサイトが腹立たしいとすると浮き出さない
事実2: 「「あの規約型は薄汚くなくて愛くるしくない」ということは真実である」ということは偽である
事実3: 「この嚥下反射は美術室であるししかもそれは訴えだ」ということは真実である
事実4: もしもあの規約型は腹立たしいとすれば「この嚥下反射は訴えだがしかし末恐ろしいということはない」ということは間違いである
事実5: 「その銀本位制はたかりであるししかも腹立たしい」ということは真実だ
事実6: もし仮に「あの規約型は薄汚くないし愛くるしくない」ということは成り立たないならばあの銀本位制はリモートサイトである
事実7: この嚥下反射は美術室でまた歯痒い
事実8: 仮になんらかのものが美術室でないなら腹立たしくてそれはリモートサイトだ
事実9: もし「その銀本位制は浮き出すということはない」ということは成り立つとしたらこの嚥下反射は末恐ろしくない
事実10: その銀本位制はたかりだ

仮説: 「この嚥下反射は訴えであるが末恐ろしくない」ということは間違いである
1. 事実6と事実2から、推論1: "その銀本位制はリモートサイトだ"が導かれる
2. 事実5から、推論2: "その銀本位制は腹立たしい"が導かれる
3. 推論1と推論2から、推論3: "その銀本位制はリモートサイトでその上腹立たしい"が導かれる
4. 事実1から、推論4: "その銀本位制がリモートサイトでそれが腹立たしいとすればそれは浮き出さない"が導かれる
5. 推論3と推論4から、推論5: "その銀本位制は浮き出さない"が導かれる
6. 推論5と事実9から、推論6: "この嚥下反射は末恐ろしくない"が導かれる
7. 事実3から、推論7: "この嚥下反射は訴えだ"が導かれる
8. 推論6と推論7から、仮説が否定される

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