「その軽武装は賢しくてそれはレーガン政権だ」ということは成り立つということはない
fact1: 仮に「その鼻歌は欲深くないがしかし湿気易い」ということは本当でないならばあの軽武装は欲深くない fact2: もしもなにがしかのものが欲深くないしまた流され易くないとするとその鼻歌は賢しくない fact3: その鼻歌は流され易いとすれば「それは欲深くなくてしかもそれは湿気易い」ということは誤りである fact4: あの全額保護は湿気易いということはないならば「その軽武装は流され易いししかも賢しい」ということは事実だ fact5: とある物は流され易いということはない fact6: なにかは欲深くないけど流され易い fact7: 「欲深くない」ものはある fact8: その羽箒は欲深くないしおまけに流され易くない fact9: もしもその鼻歌は賢しくないならば「その軽武装は賢しいしレーガン政権だ」ということは成り立たない fact10: もし「賢しいが流され易くない」物はあれば「その羽箒はレーガン政権でない」ということは真実だ fact11: 「その羽箒は流され易くない」ということは真実である fact12: 欲深い物でありそれに流され易いということはない物はある
fact8 -> int1: なんらかの物は欲深いということはないし更に流され易いということはない; int1 & fact2 -> int2: その鼻歌は賢しいということはない; int2 & fact9 -> hypothesis;
その軽武装は賢しいし加えてレーガン政権である
$facts$ = fact1: 仮に「その鼻歌は欲深くないがしかし湿気易い」ということは本当でないならばあの軽武装は欲深くない fact2: もしもなにがしかのものが欲深くないしまた流され易くないとするとその鼻歌は賢しくない fact3: その鼻歌は流され易いとすれば「それは欲深くなくてしかもそれは湿気易い」ということは誤りである fact4: あの全額保護は湿気易いということはないならば「その軽武装は流され易いししかも賢しい」ということは事実だ fact5: とある物は流され易いということはない fact6: なにかは欲深くないけど流され易い fact7: 「欲深くない」ものはある fact8: その羽箒は欲深くないしおまけに流され易くない fact9: もしもその鼻歌は賢しくないならば「その軽武装は賢しいしレーガン政権だ」ということは成り立たない fact10: もし「賢しいが流され易くない」物はあれば「その羽箒はレーガン政権でない」ということは真実だ fact11: 「その羽箒は流され易くない」ということは真実である fact12: 欲深い物でありそれに流され易いということはない物はある ; $hypothesis$ = 「その軽武装は賢しくてそれはレーガン政権だ」ということは成り立つということはない ; $proof$ = 
fact8 -> int1: なんらかの物は欲深いということはないし更に流され易いということはない; int1 & fact2 -> int2: その鼻歌は賢しいということはない; int2 & fact9 -> hypothesis; __PROVED__
事実1: 仮に「その鼻歌は欲深くないがしかし湿気易い」ということは本当でないならばあの軽武装は欲深くない
事実2: もしもなにがしかのものが欲深くないしまた流され易くないとするとその鼻歌は賢しくない
事実3: その鼻歌は流され易いとすれば「それは欲深くなくてしかもそれは湿気易い」ということは誤りである
事実4: あの全額保護は湿気易いということはないならば「その軽武装は流され易いししかも賢しい」ということは事実だ
事実5: とある物は流され易いということはない
事実6: なにかは欲深くないけど流され易い
事実7: 「欲深くない」ものはある
事実8: その羽箒は欲深くないしおまけに流され易くない
事実9: もしもその鼻歌は賢しくないならば「その軽武装は賢しいしレーガン政権だ」ということは成り立たない
事実10: もし「賢しいが流され易くない」物はあれば「その羽箒はレーガン政権でない」ということは真実だ
事実11: 「その羽箒は流され易くない」ということは真実である
事実12: 欲深い物でありそれに流され易いということはない物はある

仮説: 「その軽武装は賢しくてそれはレーガン政権だ」ということは成り立つということはない
1. 事実8から、推論1: "なんらかの物は欲深いということはないし更に流され易いということはない"が導かれる
2. 推論1と事実2から、推論2: "その鼻歌は賢しいということはない"が導かれる
3. 推論2と事実9から、仮説が導かれる

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