その自己負担は疲労し易い
fact1: その自治体は疲労し易くない fact2: 仮に「「バランス良い」ということは本当である」物があるとしたらその戯作はテキスト配置アイコンであるかもしくはＳＰ混成軌道だ fact3: その自治体は幼しがしかし粉っぽくない fact4: もし仮にその自治体が幼しないしおまけにそれが粉っぽくないならばあの自己負担は疲労し易いということはない fact5: その戯作は粉っぽい fact6: その分野はバランス良い fact7: その自治体が幼しならその戯作は至り君だ fact8: 「その確定拠出型は幼し」ということは真実だ fact9: その自治体は粉っぽくない fact10: もしもその戯作は至り君ならば「その自己負担は疲労し易い」ということは成り立つ fact11: 仮にとあるものがテキスト配置アイコンであるということはないならばそれは至り君であるということはなくて加えてそれは貫徹出来る
fact3 -> int1: その自治体は幼し; int1 & fact7 -> int2: 「その戯作は至り君である」ということは正しい; int2 & fact10 -> hypothesis;
その自己負担は疲労し易くない
fact14 -> int3: もしもその自治体はテキスト配置アイコンでないならそれは至り君でないけれど貫徹出来る; fact13 -> int4: バランス良いものはある; int4 & fact12 -> int5: その戯作はテキスト配置アイコンであるかあるいはそれはＳＰ混成軌道である;
$facts$ = fact1: その自治体は疲労し易くない fact2: 仮に「「バランス良い」ということは本当である」物があるとしたらその戯作はテキスト配置アイコンであるかもしくはＳＰ混成軌道だ fact3: その自治体は幼しがしかし粉っぽくない fact4: もし仮にその自治体が幼しないしおまけにそれが粉っぽくないならばあの自己負担は疲労し易いということはない fact5: その戯作は粉っぽい fact6: その分野はバランス良い fact7: その自治体が幼しならその戯作は至り君だ fact8: 「その確定拠出型は幼し」ということは真実だ fact9: その自治体は粉っぽくない fact10: もしもその戯作は至り君ならば「その自己負担は疲労し易い」ということは成り立つ fact11: 仮にとあるものがテキスト配置アイコンであるということはないならばそれは至り君であるということはなくて加えてそれは貫徹出来る ; $hypothesis$ = その自己負担は疲労し易い ; $proof$ = 
fact3 -> int1: その自治体は幼し; int1 & fact7 -> int2: 「その戯作は至り君である」ということは正しい; int2 & fact10 -> hypothesis; __PROVED__
事実1: その自治体は疲労し易くない
事実2: 仮に「「バランス良い」ということは本当である」物があるとしたらその戯作はテキスト配置アイコンであるかもしくはＳＰ混成軌道だ
事実3: その自治体は幼しがしかし粉っぽくない
事実4: もし仮にその自治体が幼しないしおまけにそれが粉っぽくないならばあの自己負担は疲労し易いということはない
事実5: その戯作は粉っぽい
事実6: その分野はバランス良い
事実7: その自治体が幼しならその戯作は至り君だ
事実8: 「その確定拠出型は幼し」ということは真実だ
事実9: その自治体は粉っぽくない
事実10: もしもその戯作は至り君ならば「その自己負担は疲労し易い」ということは成り立つ
事実11: 仮にとあるものがテキスト配置アイコンであるということはないならばそれは至り君であるということはなくて加えてそれは貫徹出来る

仮説: その自己負担は疲労し易い
1. 事実3から、推論1: "その自治体は幼し"が導かれる
2. 推論1と事実7から、推論2: "「その戯作は至り君である」ということは正しい"が導かれる
3. 推論2と事実10から、仮説が導かれる

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