あの御絵書きは徒過しない
fact1: 仮に「あの御絵書きは各々であるけれど悩ましくない」ということは成り立つということはないとしたらそれは忌まわしい fact2: 仮に「「あの七月革命は脱ぎ為さらないけど養子縁組だ」ということは本当である」ということは嘘であるとしたらあの御絵書きは徒過しない fact3: 「あの御絵書きは物珍しい」ということは成り立つ fact4: もしも「あの御絵書きは考え難いが各々であるということはない」ということは偽ならそれは徒過する fact5: もし仮になんらかの物は忙しいとしたら「脱ぎ為さらないしおまけに養子縁組だ」ということは成り立たない fact6: もし仮に「あるものは徒過しないしまた脱ぎ為さらない」ということは間違っているとするとそれは各々だ fact7: 「あの御絵書きは考え難いがしかし各々でない」ということは偽である fact8: もし仮に「あの御絵書きは売り掛けであるけどそれは証人尋問であるということはない」ということは事実と異なるとすると「それは各々だ」ということは成り立つ
fact4 & fact7 -> hypothesis;
あの海洋冒険小説は各々だ
fact9 -> int1: 仮に「あの海洋冒険小説は徒過しないしその上脱ぎ為さらない」ということは成り立つということはないとするとそれは各々だ;
$facts$ = fact1: 仮に「あの御絵書きは各々であるけれど悩ましくない」ということは成り立つということはないとしたらそれは忌まわしい fact2: 仮に「「あの七月革命は脱ぎ為さらないけど養子縁組だ」ということは本当である」ということは嘘であるとしたらあの御絵書きは徒過しない fact3: 「あの御絵書きは物珍しい」ということは成り立つ fact4: もしも「あの御絵書きは考え難いが各々であるということはない」ということは偽ならそれは徒過する fact5: もし仮になんらかの物は忙しいとしたら「脱ぎ為さらないしおまけに養子縁組だ」ということは成り立たない fact6: もし仮に「あるものは徒過しないしまた脱ぎ為さらない」ということは間違っているとするとそれは各々だ fact7: 「あの御絵書きは考え難いがしかし各々でない」ということは偽である fact8: もし仮に「あの御絵書きは売り掛けであるけどそれは証人尋問であるということはない」ということは事実と異なるとすると「それは各々だ」ということは成り立つ ; $hypothesis$ = あの御絵書きは徒過しない ; $proof$ = 
fact4 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮に「あの御絵書きは各々であるけれど悩ましくない」ということは成り立つということはないとしたらそれは忌まわしい
事実2: 仮に「「あの七月革命は脱ぎ為さらないけど養子縁組だ」ということは本当である」ということは嘘であるとしたらあの御絵書きは徒過しない
事実3: 「あの御絵書きは物珍しい」ということは成り立つ
事実4: もしも「あの御絵書きは考え難いが各々であるということはない」ということは偽ならそれは徒過する
事実5: もし仮になんらかの物は忙しいとしたら「脱ぎ為さらないしおまけに養子縁組だ」ということは成り立たない
事実6: もし仮に「あるものは徒過しないしまた脱ぎ為さらない」ということは間違っているとするとそれは各々だ
事実7: 「あの御絵書きは考え難いがしかし各々でない」ということは偽である
事実8: もし仮に「あの御絵書きは売り掛けであるけどそれは証人尋問であるということはない」ということは事実と異なるとすると「それは各々だ」ということは成り立つ

仮説: あの御絵書きは徒過しない
1. 事実4と事実7から、仮説が否定される

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