この乳輪切開部は利かす
fact1: もしこの社会福祉士はし損なわないしそれに付け難くないとすればその私怨は付け難い fact2: 仮になんらかのものは満たし得るとすれば「それはし損なわないし付け難いということはない」ということは事実である fact3: この社会福祉士は継承・発展しない fact4: もしあるものは継承・発展するとしたら「許せなくてそれに利かさない」ということは事実でない fact5: 付け難いしさらに連想し易いということはないものは継承・発展する fact6: もし仮にこのＡＣＴＨが付け難いとすればこの課役はし損なう fact7: 仮に「この課役はし損なわない」ということは事実でないならこの乳輪切開部は利かす fact8: もしその私怨が許せないとしたらこの社会福祉士は継承・発展する fact9: この社会福祉士は満たし得る fact10: このＡＷＰ製は継承・発展しない fact11: 仮にその私怨は許せるとすれば「このＡＣＴＨは連想し易い」ということは本当だ fact12: このＡＣＴＨが連想し易いならば付け難い
void -> assump1: 以下のように仮定する。「その私怨は許せるということはない」ということは成り立つ; fact8 & assump1 -> int1: 「この社会福祉士は継承・発展する」ということは誤りでない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: その私怨は許せる; int3 & fact11 -> int4: このＡＣＴＨは連想し易い; int4 & fact12 -> int5: このＡＣＴＨは付け難い; int5 & fact6 -> int6: この課役はし損なう; int6 & fact7 -> hypothesis;
「この乳輪切開部は利かさない」ということは偽でない
fact14 -> int7: もしもその私怨は継承・発展するなら「許せないしそれは利かさない」ということは成り立たない; fact17 -> int8: もしその私怨は付け難いけど連想し易くないとするとそれは継承・発展する; fact15 -> int9: もしもこの社会福祉士が満たし得るとしたらし損なわないしまた付け難くない; int9 & fact16 -> int10: この社会福祉士はし損なわないし付け難くない; fact13 & int10 -> int11: その私怨は付け難い;
$facts$ = fact1: もしこの社会福祉士はし損なわないしそれに付け難くないとすればその私怨は付け難い fact2: 仮になんらかのものは満たし得るとすれば「それはし損なわないし付け難いということはない」ということは事実である fact3: この社会福祉士は継承・発展しない fact4: もしあるものは継承・発展するとしたら「許せなくてそれに利かさない」ということは事実でない fact5: 付け難いしさらに連想し易いということはないものは継承・発展する fact6: もし仮にこのＡＣＴＨが付け難いとすればこの課役はし損なう fact7: 仮に「この課役はし損なわない」ということは事実でないならこの乳輪切開部は利かす fact8: もしその私怨が許せないとしたらこの社会福祉士は継承・発展する fact9: この社会福祉士は満たし得る fact10: このＡＷＰ製は継承・発展しない fact11: 仮にその私怨は許せるとすれば「このＡＣＴＨは連想し易い」ということは本当だ fact12: このＡＣＴＨが連想し易いならば付け難い ; $hypothesis$ = この乳輪切開部は利かす ; $proof$ = 
void -> assump1: 以下のように仮定する。「その私怨は許せるということはない」ということは成り立つ; fact8 & assump1 -> int1: 「この社会福祉士は継承・発展する」ということは誤りでない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: その私怨は許せる; int3 & fact11 -> int4: このＡＣＴＨは連想し易い; int4 & fact12 -> int5: このＡＣＴＨは付け難い; int5 & fact6 -> int6: この課役はし損なう; int6 & fact7 -> hypothesis; __PROVED__
事実1: もしこの社会福祉士はし損なわないしそれに付け難くないとすればその私怨は付け難い
事実2: 仮になんらかのものは満たし得るとすれば「それはし損なわないし付け難いということはない」ということは事実である
事実3: この社会福祉士は継承・発展しない
事実4: もしあるものは継承・発展するとしたら「許せなくてそれに利かさない」ということは事実でない
事実5: 付け難いしさらに連想し易いということはないものは継承・発展する
事実6: もし仮にこのＡＣＴＨが付け難いとすればこの課役はし損なう
事実7: 仮に「この課役はし損なわない」ということは事実でないならこの乳輪切開部は利かす
事実8: もしその私怨が許せないとしたらこの社会福祉士は継承・発展する
事実9: この社会福祉士は満たし得る
事実10: このＡＷＰ製は継承・発展しない
事実11: 仮にその私怨は許せるとすれば「このＡＣＴＨは連想し易い」ということは本当だ
事実12: このＡＣＴＨが連想し易いならば付け難い

仮説: この乳輪切開部は利かす
1. 仮定1: 以下のように仮定する。「その私怨は許せるということはない」ということは成り立つ
2. 事実8と仮定1から、推論1: "「この社会福祉士は継承・発展する」ということは誤りでない"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その私怨は許せる"が導かれる
5. 推論3と事実11から、推論4: "このＡＣＴＨは連想し易い"が導かれる
6. 推論4と事実12から、推論5: "このＡＣＴＨは付け難い"が導かれる
7. 推論5と事実6から、推論6: "この課役はし損なう"が導かれる
8. 推論6と事実7から、仮説が導かれる

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