「「さもしいし真っ暗い」ということは誤っている」ものはある
fact1: 「その右底幹が病床転換だということはないしさらに理屈っぽくない」ということは間違いである fact2: さもしいししかも真っ暗いものはある fact3: 「「市民等で尊敬する」ということは事実と異なる」ものはある fact4: 仮に「「病床転換であるしその上捨て難い」ということは成り立たない」ものがあるならあの農林中金は捨て難くない fact5: もし病床転換が心無いならばそれは捨て難くない fact6: 仮にあるものは捨て難くないなら「さもしいしそれにそれは真っ暗い」ということは誤っている fact7: もし仮に「捨て難くない」ものがあればあの農林中金は捨て難くない fact8: なんらかの物は捨て難くないとすれば「微笑ましいし要する」ということは確かでない fact9: 「「病床転換だし加えて捨て難い」ということは成り立たない」ものはある fact10: もし仮に「その右底幹は病床転換でないし理屈っぽいということはない」ということは間違いであるとすれば病床転換だ
fact6 -> int1: もし仮にあの農林中金は捨て難いということはないならば「それはさもしいしおまけに真っ暗い」ということは事実と異なる; fact4 & fact9 -> int2: あの農林中金は捨て難くない; int1 & int2 -> int3: 「あの農林中金はさもしくて真っ暗い」ということは成り立たない; int3 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); fact4 & fact9 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬({AA}{aa} & {AB}{aa}); int3 -> hypothesis;
「「微笑ましいし更に要する」ということは誤りである」ものはある
fact14 -> int4: その右底幹は捨て難くないとすれば「それは微笑ましいしさらに要する」ということは成り立たない; fact13 -> int5: もしその右底幹が病床転換だしさらに心無いならばそれは捨て難くない; fact12 & fact11 -> int6: 「その右底幹は病床転換である」ということは真実である;
$facts$ = fact1: 「その右底幹が病床転換だということはないしさらに理屈っぽくない」ということは間違いである fact2: さもしいししかも真っ暗いものはある fact3: 「「市民等で尊敬する」ということは事実と異なる」ものはある fact4: 仮に「「病床転換であるしその上捨て難い」ということは成り立たない」ものがあるならあの農林中金は捨て難くない fact5: もし病床転換が心無いならばそれは捨て難くない fact6: 仮にあるものは捨て難くないなら「さもしいしそれにそれは真っ暗い」ということは誤っている fact7: もし仮に「捨て難くない」ものがあればあの農林中金は捨て難くない fact8: なんらかの物は捨て難くないとすれば「微笑ましいし要する」ということは確かでない fact9: 「「病床転換だし加えて捨て難い」ということは成り立たない」ものはある fact10: もし仮に「その右底幹は病床転換でないし理屈っぽいということはない」ということは間違いであるとすれば病床転換だ ; $hypothesis$ = 「「さもしいし真っ暗い」ということは誤っている」ものはある ; $proof$ = 
fact6 -> int1: もし仮にあの農林中金は捨て難いということはないならば「それはさもしいしおまけに真っ暗い」ということは事実と異なる; fact4 & fact9 -> int2: あの農林中金は捨て難くない; int1 & int2 -> int3: 「あの農林中金はさもしくて真っ暗い」ということは成り立たない; int3 -> hypothesis; __PROVED__
事実1: 「その右底幹が病床転換だということはないしさらに理屈っぽくない」ということは間違いである
事実2: さもしいししかも真っ暗いものはある
事実3: 「「市民等で尊敬する」ということは事実と異なる」ものはある
事実4: 仮に「「病床転換であるしその上捨て難い」ということは成り立たない」ものがあるならあの農林中金は捨て難くない
事実5: もし病床転換が心無いならばそれは捨て難くない
事実6: 仮にあるものは捨て難くないなら「さもしいしそれにそれは真っ暗い」ということは誤っている
事実7: もし仮に「捨て難くない」ものがあればあの農林中金は捨て難くない
事実8: なんらかの物は捨て難くないとすれば「微笑ましいし要する」ということは確かでない
事実9: 「「病床転換だし加えて捨て難い」ということは成り立たない」ものはある
事実10: もし仮に「その右底幹は病床転換でないし理屈っぽいということはない」ということは間違いであるとすれば病床転換だ

仮説: 「「さもしいし真っ暗い」ということは誤っている」ものはある
1. 事実6から、推論1: "もし仮にあの農林中金は捨て難いということはないならば「それはさもしいしおまけに真っ暗い」ということは事実と異なる"が導かれる
2. 事実4と事実9から、推論2: "あの農林中金は捨て難くない"が導かれる
3. 推論1と推論2から、推論3: "「あの農林中金はさもしくて真っ暗い」ということは成り立たない"が導かれる
4. 推論3から、仮説が導かれる

よって、仮説が証明されました。