仮にその生活実態が抜き難いならこの限定品は借り易い
fact1: もし潔くないしおまけに抜き難いということはない物があればこの限定品は活動出来るということはない fact2: 仮にその自治事務が活動出来るとするとこの限定品は潔い fact3: 潔い物は借り易い fact4: もしなにがしかの物は活動出来れば「とろ臭くないけれどくどい」ということは成り立たない fact5: 「「くどくない」ということは本当な」ものはある fact6: その自治事務は借り易い fact7: もし仮にその生活実態がとろ臭くないけれど抜き難いとすればその自治事務は活動出来る fact8: ある物は基礎訓練でないけどくどい fact9: 借り易くないし更に抜き難くない物はある fact10: その生活実態は乾燥し切る fact11: 何らかの物は基礎訓練であるがくどくない fact12: その自治事務はとろ臭い fact13: ある物は基礎訓練でなくてそれにそれはくどいということはない fact14: 「抜き難いものは借り易い」ということは正しい fact15: なんらかのものは基礎訓練でない fact16: 「仮にこの限定品が借り易くないけど抜き難いとするとその生活実態はとろ臭い」ということは成り立つ fact17: もし「なにがしかのものは基礎訓練でなくてくどいということはない」ということは成り立つとしたらその生活実態はとろ臭くない fact18: その生活実態は活動出来る
fact13 & fact17 -> int1: その生活実態はとろ臭くない; void -> assump1: 以下のように仮定する。その生活実態は抜き難い; int1 & assump1 -> int2: その生活実態はとろ臭くないがしかしそれは抜き難い; int2 & fact7 -> int3: 「その自治事務は活動出来る」ということは成り立つ; int3 & fact2 -> int4: この限定品は潔い; fact3 -> int5: もしもこの限定品は潔いとすると「借り易い」ということは成り立つ; int4 & int5 -> int6: この限定品は借り易い; [assump1] & int6 -> hypothesis;
あの再挑戦は抜き難い
fact20 -> int7: もし仮にその生活実態は活動出来るなら「それはとろ臭くないしそれはくどい」ということは誤りだ; int7 & fact19 -> int8: 「その生活実態はとろ臭いということはないけどくどい」ということは間違いだ; int8 -> int9: 「「とろ臭いということはないがくどい」ということは成り立たない」ものはある;
$facts$ = fact1: もし潔くないしおまけに抜き難いということはない物があればこの限定品は活動出来るということはない fact2: 仮にその自治事務が活動出来るとするとこの限定品は潔い fact3: 潔い物は借り易い fact4: もしなにがしかの物は活動出来れば「とろ臭くないけれどくどい」ということは成り立たない fact5: 「「くどくない」ということは本当な」ものはある fact6: その自治事務は借り易い fact7: もし仮にその生活実態がとろ臭くないけれど抜き難いとすればその自治事務は活動出来る fact8: ある物は基礎訓練でないけどくどい fact9: 借り易くないし更に抜き難くない物はある fact10: その生活実態は乾燥し切る fact11: 何らかの物は基礎訓練であるがくどくない fact12: その自治事務はとろ臭い fact13: ある物は基礎訓練でなくてそれにそれはくどいということはない fact14: 「抜き難いものは借り易い」ということは正しい fact15: なんらかのものは基礎訓練でない fact16: 「仮にこの限定品が借り易くないけど抜き難いとするとその生活実態はとろ臭い」ということは成り立つ fact17: もし「なにがしかのものは基礎訓練でなくてくどいということはない」ということは成り立つとしたらその生活実態はとろ臭くない fact18: その生活実態は活動出来る ; $hypothesis$ = 仮にその生活実態が抜き難いならこの限定品は借り易い ; $proof$ = 
fact13 & fact17 -> int1: その生活実態はとろ臭くない; void -> assump1: 以下のように仮定する。その生活実態は抜き難い; int1 & assump1 -> int2: その生活実態はとろ臭くないがしかしそれは抜き難い; int2 & fact7 -> int3: 「その自治事務は活動出来る」ということは成り立つ; int3 & fact2 -> int4: この限定品は潔い; fact3 -> int5: もしもこの限定品は潔いとすると「借り易い」ということは成り立つ; int4 & int5 -> int6: この限定品は借り易い; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし潔くないしおまけに抜き難いということはない物があればこの限定品は活動出来るということはない
事実2: 仮にその自治事務が活動出来るとするとこの限定品は潔い
事実3: 潔い物は借り易い
事実4: もしなにがしかの物は活動出来れば「とろ臭くないけれどくどい」ということは成り立たない
事実5: 「「くどくない」ということは本当な」ものはある
事実6: その自治事務は借り易い
事実7: もし仮にその生活実態がとろ臭くないけれど抜き難いとすればその自治事務は活動出来る
事実8: ある物は基礎訓練でないけどくどい
事実9: 借り易くないし更に抜き難くない物はある
事実10: その生活実態は乾燥し切る
事実11: 何らかの物は基礎訓練であるがくどくない
事実12: その自治事務はとろ臭い
事実13: ある物は基礎訓練でなくてそれにそれはくどいということはない
事実14: 「抜き難いものは借り易い」ということは正しい
事実15: なんらかのものは基礎訓練でない
事実16: 「仮にこの限定品が借り易くないけど抜き難いとするとその生活実態はとろ臭い」ということは成り立つ
事実17: もし「なにがしかのものは基礎訓練でなくてくどいということはない」ということは成り立つとしたらその生活実態はとろ臭くない
事実18: その生活実態は活動出来る

仮説: 仮にその生活実態が抜き難いならこの限定品は借り易い
1. 事実13と事実17から、推論1: "その生活実態はとろ臭くない"が導かれる
2. 仮定1: 以下のように仮定する。その生活実態は抜き難い
3. 推論1と仮定1から、推論2: "その生活実態はとろ臭くないがしかしそれは抜き難い"が導かれる
4. 推論2と事実7から、推論3: "「その自治事務は活動出来る」ということは成り立つ"が導かれる
5. 推論3と事実2から、推論4: "この限定品は潔い"が導かれる
6. 事実3から、推論5: "もしもこの限定品は潔いとすると「借り易い」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "この限定品は借り易い"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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