その未成年者控除は縁石でない
fact1: もしこの中小チェーンが泥臭くておまけにそれが弱るならこの承接関係は泥臭くない fact2: もしその鉛合金が加重しない一方でそれが期末残高ならこの承接関係は泥臭い fact3: その牡蠣・リキュールは弱らない fact4: もしも「「加重しないし期末残高だ」ということは偽である」物があるとしたらその鉛合金は泥臭いということはない fact5: 仮に「ある物は縁石だがそれは泥臭くない」ということは成り立たないとすれば縁石でない fact6: 何かは選び取るとしたら「インサートしないが弱る」ということは成り立たない fact7: もしもあるものは縁石でないとすれば「演繹しないが罹患し易い」ということは成り立たない fact8: この中小チェーンは泥臭いしおまけに弱る fact9: 「もしもその鉛合金が弱らないならばその未成年者控除は泥臭いしかつそれは縁石である」ということは正しい fact10: もしも「「加重しないし期末残高だ」ということは成り立たない」ものがあるならその未成年者控除は縁石であるということはない
void -> assump1: 以下のように仮定する。「その鉛合金は加重しないけれど期末残高である」ということは本当だ; fact2 & assump1 -> int1: この承接関係は泥臭い; fact8 & fact1 -> int2: この承接関係は泥臭くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その鉛合金は加重しないけど期末残高である」ということは間違っている; int4 -> int5: 「「加重しないししかも期末残高だ」ということは事実と異なる」ものはある; int5 & fact10 -> hypothesis;
その未成年者控除は縁石だ
fact12 -> int6: 「この承接関係は選び取る」ということは正しいとすれば「インサートしない一方で弱る」ということは本当でない;
$facts$ = fact1: もしこの中小チェーンが泥臭くておまけにそれが弱るならこの承接関係は泥臭くない fact2: もしその鉛合金が加重しない一方でそれが期末残高ならこの承接関係は泥臭い fact3: その牡蠣・リキュールは弱らない fact4: もしも「「加重しないし期末残高だ」ということは偽である」物があるとしたらその鉛合金は泥臭いということはない fact5: 仮に「ある物は縁石だがそれは泥臭くない」ということは成り立たないとすれば縁石でない fact6: 何かは選び取るとしたら「インサートしないが弱る」ということは成り立たない fact7: もしもあるものは縁石でないとすれば「演繹しないが罹患し易い」ということは成り立たない fact8: この中小チェーンは泥臭いしおまけに弱る fact9: 「もしもその鉛合金が弱らないならばその未成年者控除は泥臭いしかつそれは縁石である」ということは正しい fact10: もしも「「加重しないし期末残高だ」ということは成り立たない」ものがあるならその未成年者控除は縁石であるということはない ; $hypothesis$ = その未成年者控除は縁石でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その鉛合金は加重しないけれど期末残高である」ということは本当だ; fact2 & assump1 -> int1: この承接関係は泥臭い; fact8 & fact1 -> int2: この承接関係は泥臭くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その鉛合金は加重しないけど期末残高である」ということは間違っている; int4 -> int5: 「「加重しないししかも期末残高だ」ということは事実と異なる」ものはある; int5 & fact10 -> hypothesis; __PROVED__
事実1: もしこの中小チェーンが泥臭くておまけにそれが弱るならこの承接関係は泥臭くない
事実2: もしその鉛合金が加重しない一方でそれが期末残高ならこの承接関係は泥臭い
事実3: その牡蠣・リキュールは弱らない
事実4: もしも「「加重しないし期末残高だ」ということは偽である」物があるとしたらその鉛合金は泥臭いということはない
事実5: 仮に「ある物は縁石だがそれは泥臭くない」ということは成り立たないとすれば縁石でない
事実6: 何かは選び取るとしたら「インサートしないが弱る」ということは成り立たない
事実7: もしもあるものは縁石でないとすれば「演繹しないが罹患し易い」ということは成り立たない
事実8: この中小チェーンは泥臭いしおまけに弱る
事実9: 「もしもその鉛合金が弱らないならばその未成年者控除は泥臭いしかつそれは縁石である」ということは正しい
事実10: もしも「「加重しないし期末残高だ」ということは成り立たない」ものがあるならその未成年者控除は縁石であるということはない

仮説: その未成年者控除は縁石でない
1. 仮定1: 以下のように仮定する。「その鉛合金は加重しないけれど期末残高である」ということは本当だ
2. 事実2と仮定1から、推論1: "この承接関係は泥臭い"が導かれる
3. 事実8と事実1から、推論2: "この承接関係は泥臭くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その鉛合金は加重しないけど期末残高である」ということは間違っている"が導かれる
6. 推論4から、推論5: "「「加重しないししかも期末残高だ」ということは事実と異なる」ものはある"が導かれる
7. 推論5と事実10から、仮説が導かれる

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