この財政構造改革は後ろめたくない
fact1: もしその二店目が発揮し易くてかつ駆け上るとすればその私宛ては態とらしくない fact2: もし仮にその二店目が直り難いか調和し難いならこの財政構造改革は後ろめたくない fact3: 仮にその私宛てが態とらしいということはないとすると両立するしそれに社会復帰する fact4: その二店目は駆け上る fact5: その二店目は発揮し易い fact6: 「その私宛てはえげつなくなくてその上石化するということはない」ということは真実でないとすればその二店目は両立する fact7: 後ろめたいものは直り難い fact8: 「その私宛てはえげつなくないしまたそれは石化しない」ということは間違いである fact9: 仮になにがしかの物が両立するとするとそれは直り難い
fact6 & fact8 -> int1: その二店目は両立する; fact9 -> int2: 「その二店目は両立する」ということは成り立つとしたら「直り難い」ということは事実である; int1 & int2 -> int3: その二店目は直り難い; int3 -> int4: その二店目は直り難いかもしくは調和し難い; int4 & fact2 -> hypothesis;
「この粗相は調和し難くない」ということは本当である
fact14 & fact12 -> int5: その二店目は発揮し易くて加えて駆け上る; fact11 & int5 -> int6: その私宛ては態とらしくない; fact10 & int6 -> int7: その私宛ては両立するしおまけに社会復帰する; int7 -> int8: その私宛ては両立する; fact13 -> int9: もしもその私宛てが後ろめたいならそれは直り難い;
$facts$ = fact1: もしその二店目が発揮し易くてかつ駆け上るとすればその私宛ては態とらしくない fact2: もし仮にその二店目が直り難いか調和し難いならこの財政構造改革は後ろめたくない fact3: 仮にその私宛てが態とらしいということはないとすると両立するしそれに社会復帰する fact4: その二店目は駆け上る fact5: その二店目は発揮し易い fact6: 「その私宛てはえげつなくなくてその上石化するということはない」ということは真実でないとすればその二店目は両立する fact7: 後ろめたいものは直り難い fact8: 「その私宛てはえげつなくないしまたそれは石化しない」ということは間違いである fact9: 仮になにがしかの物が両立するとするとそれは直り難い ; $hypothesis$ = この財政構造改革は後ろめたくない ; $proof$ = 
fact6 & fact8 -> int1: その二店目は両立する; fact9 -> int2: 「その二店目は両立する」ということは成り立つとしたら「直り難い」ということは事実である; int1 & int2 -> int3: その二店目は直り難い; int3 -> int4: その二店目は直り難いかもしくは調和し難い; int4 & fact2 -> hypothesis; __PROVED__
事実1: もしその二店目が発揮し易くてかつ駆け上るとすればその私宛ては態とらしくない
事実2: もし仮にその二店目が直り難いか調和し難いならこの財政構造改革は後ろめたくない
事実3: 仮にその私宛てが態とらしいということはないとすると両立するしそれに社会復帰する
事実4: その二店目は駆け上る
事実5: その二店目は発揮し易い
事実6: 「その私宛てはえげつなくなくてその上石化するということはない」ということは真実でないとすればその二店目は両立する
事実7: 後ろめたいものは直り難い
事実8: 「その私宛てはえげつなくないしまたそれは石化しない」ということは間違いである
事実9: 仮になにがしかの物が両立するとするとそれは直り難い

仮説: この財政構造改革は後ろめたくない
1. 事実6と事実8から、推論1: "その二店目は両立する"が導かれる
2. 事実9から、推論2: "「その二店目は両立する」ということは成り立つとしたら「直り難い」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "その二店目は直り難い"が導かれる
4. 推論3から、推論4: "その二店目は直り難いかもしくは調和し難い"が導かれる
5. 推論4と事実2から、仮説が導かれる

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