あの代掻きは海軍大臣であるし諸芸術だ
fact1: 仮に「実用する」ものがあるとしたらその出資者は諸芸術でない fact2: あの代掻きが身軽くない一方で駆け抜けるとすると入れ難いということはない fact3: もしあの代掻きは海軍大臣でないとすれば「その出資者は諸芸術であるしさらに海軍大臣だ」ということは成り立たない fact4: もし仮に「「届き易いけれど実用しない」ということは誤りである」物があるとしたらその出資者は諸芸術でない fact5: 仮にその出資者は諸芸術でないとすると「「あの代掻きは海軍大臣であるし加えてそれは諸芸術だ」ということは真実である」ということは成り立つということはない fact6: その出資者は海軍大臣でない fact7: なにかは届き易いけれど実用しない fact8: その出資者が諸芸術でないけれどそれが中座するならあの代掻きは諸芸術だ fact9: もしあの代掻きが入れ難くないか通しでないかあるいはどちらもであるならば海軍大臣である fact10: あの代掻きは身軽いということはないが駆け抜ける fact11: とあるものが中座しないならば諸芸術だということはないかもしくはそれは海軍大臣であるかもしくは両方ともだ fact12: 「「届き易いししかも実用する」ということは成り立つということはない」物はある fact13: 「「届き易いがしかし実用しない」ということは誤っている」物はある
fact13 & fact4 -> int1: その出資者は諸芸術でない; int1 & fact5 -> hypothesis;
fact13 & fact4 -> int1: ¬{A}{a}; int1 & fact5 -> hypothesis;
その第二工場は諸芸術でない
fact14 -> int2: 仮にその第二工場が中座するということはないならそれは諸芸術でないかまたは海軍大臣であるかあるいは両方ともだ;
$facts$ = fact1: 仮に「実用する」ものがあるとしたらその出資者は諸芸術でない fact2: あの代掻きが身軽くない一方で駆け抜けるとすると入れ難いということはない fact3: もしあの代掻きは海軍大臣でないとすれば「その出資者は諸芸術であるしさらに海軍大臣だ」ということは成り立たない fact4: もし仮に「「届き易いけれど実用しない」ということは誤りである」物があるとしたらその出資者は諸芸術でない fact5: 仮にその出資者は諸芸術でないとすると「「あの代掻きは海軍大臣であるし加えてそれは諸芸術だ」ということは真実である」ということは成り立つということはない fact6: その出資者は海軍大臣でない fact7: なにかは届き易いけれど実用しない fact8: その出資者が諸芸術でないけれどそれが中座するならあの代掻きは諸芸術だ fact9: もしあの代掻きが入れ難くないか通しでないかあるいはどちらもであるならば海軍大臣である fact10: あの代掻きは身軽いということはないが駆け抜ける fact11: とあるものが中座しないならば諸芸術だということはないかもしくはそれは海軍大臣であるかもしくは両方ともだ fact12: 「「届き易いししかも実用する」ということは成り立つということはない」物はある fact13: 「「届き易いがしかし実用しない」ということは誤っている」物はある ; $hypothesis$ = あの代掻きは海軍大臣であるし諸芸術だ ; $proof$ = 
fact13 & fact4 -> int1: その出資者は諸芸術でない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮に「実用する」ものがあるとしたらその出資者は諸芸術でない
事実2: あの代掻きが身軽くない一方で駆け抜けるとすると入れ難いということはない
事実3: もしあの代掻きは海軍大臣でないとすれば「その出資者は諸芸術であるしさらに海軍大臣だ」ということは成り立たない
事実4: もし仮に「「届き易いけれど実用しない」ということは誤りである」物があるとしたらその出資者は諸芸術でない
事実5: 仮にその出資者は諸芸術でないとすると「「あの代掻きは海軍大臣であるし加えてそれは諸芸術だ」ということは真実である」ということは成り立つということはない
事実6: その出資者は海軍大臣でない
事実7: なにかは届き易いけれど実用しない
事実8: その出資者が諸芸術でないけれどそれが中座するならあの代掻きは諸芸術だ
事実9: もしあの代掻きが入れ難くないか通しでないかあるいはどちらもであるならば海軍大臣である
事実10: あの代掻きは身軽いということはないが駆け抜ける
事実11: とあるものが中座しないならば諸芸術だということはないかもしくはそれは海軍大臣であるかもしくは両方ともだ
事実12: 「「届き易いししかも実用する」ということは成り立つということはない」物はある
事実13: 「「届き易いがしかし実用しない」ということは誤っている」物はある

仮説: あの代掻きは海軍大臣であるし諸芸術だ
1. 事実13と事実4から、推論1: "その出資者は諸芸術でない"が導かれる
2. 推論1と事実5から、仮説が否定される

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