「その試衛館は腐り易い」ということは真実だ
fact1: もし仮に半時が御支援だとするとその試衛館は彼女らしい fact2: 「その岡っ引きは有力視しない」ということは確かである fact3: もしもとある物が有力視すれば彼女らしいか腐り易くない fact4: その殯は際限無くない fact5: 「その殯は有力視しない」ということは確かである fact6: この外部は駐在する fact7: 「この外部は半時で御支援だ」ということは成り立つということはない fact8: もし仮にその試衛館は取り難いということはないならば「それは腐り易い」ということは確かだ fact9: その殯が取り難いということはないならこの外部は駐在するし更に有力視する fact10: もし仮に半時が御支援でないとしたらその試衛館は彼女らしい fact11: その試衛館は半時であるし御支援ならばそれは取り難いということはない fact12: 「「駐在する」ということは正しい」物はある fact13: この外部は受け入れ難くない fact14: もし仮にその殯が腐り易いなら駐在しないし取り難いということはない fact15: ある物は御支援でない fact16: もし「この外部は半時であるけどそれは御支援でない」ということは嘘だとしたらその殯は有力視する fact17: あの加賀一国は御支援でない fact18: 仮にその試衛館が取り難いしそれが腐り易いとしたらそれは半時でない fact19: もし仮に何らかのものが駐在しないならそれは彼女らしいしそれは有力視するということはない fact20: 仮にその殯が経営単位でないなら取り難くないししかもそれは二転三転する fact21: その試衛館は駐在する fact22: 「有力視する」ものはある fact23: もし仮にその殯が彼女らしいとすればこの外部は容易いがしかし幅Ｂだということはない fact24: その試衛館は彼女らしいし加えて駐在するとしたら取り難くない
void -> assump1: 以下のように仮定する。「この外部は半時である一方で御支援でない」ということは間違っている; fact16 & assump1 -> int1: その殯は有力視する; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: この外部は半時であるがしかしそれは御支援であるということはない; int3 -> int4: 「半時だし御支援であるということはない」ものはある; int4 & fact10 -> int5: その試衛館は彼女らしい; int5 & fact21 -> int6: その試衛館は彼女らしいしそれは駐在する; int6 & fact24 -> int7: その試衛館は取り難くない; int7 & fact8 -> hypothesis;
「容易いけれど幅Ｂでない」物はある
fact26 -> int8: 仮にその殯が駐在しないならば彼女らしいしかつ有力視しない;
$facts$ = fact1: もし仮に半時が御支援だとするとその試衛館は彼女らしい fact2: 「その岡っ引きは有力視しない」ということは確かである fact3: もしもとある物が有力視すれば彼女らしいか腐り易くない fact4: その殯は際限無くない fact5: 「その殯は有力視しない」ということは確かである fact6: この外部は駐在する fact7: 「この外部は半時で御支援だ」ということは成り立つということはない fact8: もし仮にその試衛館は取り難いということはないならば「それは腐り易い」ということは確かだ fact9: その殯が取り難いということはないならこの外部は駐在するし更に有力視する fact10: もし仮に半時が御支援でないとしたらその試衛館は彼女らしい fact11: その試衛館は半時であるし御支援ならばそれは取り難いということはない fact12: 「「駐在する」ということは正しい」物はある fact13: この外部は受け入れ難くない fact14: もし仮にその殯が腐り易いなら駐在しないし取り難いということはない fact15: ある物は御支援でない fact16: もし「この外部は半時であるけどそれは御支援でない」ということは嘘だとしたらその殯は有力視する fact17: あの加賀一国は御支援でない fact18: 仮にその試衛館が取り難いしそれが腐り易いとしたらそれは半時でない fact19: もし仮に何らかのものが駐在しないならそれは彼女らしいしそれは有力視するということはない fact20: 仮にその殯が経営単位でないなら取り難くないししかもそれは二転三転する fact21: その試衛館は駐在する fact22: 「有力視する」ものはある fact23: もし仮にその殯が彼女らしいとすればこの外部は容易いがしかし幅Ｂだということはない fact24: その試衛館は彼女らしいし加えて駐在するとしたら取り難くない ; $hypothesis$ = 「その試衛館は腐り易い」ということは真実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この外部は半時である一方で御支援でない」ということは間違っている; fact16 & assump1 -> int1: その殯は有力視する; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: この外部は半時であるがしかしそれは御支援であるということはない; int3 -> int4: 「半時だし御支援であるということはない」ものはある; int4 & fact10 -> int5: その試衛館は彼女らしい; int5 & fact21 -> int6: その試衛館は彼女らしいしそれは駐在する; int6 & fact24 -> int7: その試衛館は取り難くない; int7 & fact8 -> hypothesis; __PROVED__
事実1: もし仮に半時が御支援だとするとその試衛館は彼女らしい
事実2: 「その岡っ引きは有力視しない」ということは確かである
事実3: もしもとある物が有力視すれば彼女らしいか腐り易くない
事実4: その殯は際限無くない
事実5: 「その殯は有力視しない」ということは確かである
事実6: この外部は駐在する
事実7: 「この外部は半時で御支援だ」ということは成り立つということはない
事実8: もし仮にその試衛館は取り難いということはないならば「それは腐り易い」ということは確かだ
事実9: その殯が取り難いということはないならこの外部は駐在するし更に有力視する
事実10: もし仮に半時が御支援でないとしたらその試衛館は彼女らしい
事実11: その試衛館は半時であるし御支援ならばそれは取り難いということはない
事実12: 「「駐在する」ということは正しい」物はある
事実13: この外部は受け入れ難くない
事実14: もし仮にその殯が腐り易いなら駐在しないし取り難いということはない
事実15: ある物は御支援でない
事実16: もし「この外部は半時であるけどそれは御支援でない」ということは嘘だとしたらその殯は有力視する
事実17: あの加賀一国は御支援でない
事実18: 仮にその試衛館が取り難いしそれが腐り易いとしたらそれは半時でない
事実19: もし仮に何らかのものが駐在しないならそれは彼女らしいしそれは有力視するということはない
事実20: 仮にその殯が経営単位でないなら取り難くないししかもそれは二転三転する
事実21: その試衛館は駐在する
事実22: 「有力視する」ものはある
事実23: もし仮にその殯が彼女らしいとすればこの外部は容易いがしかし幅Ｂだということはない
事実24: その試衛館は彼女らしいし加えて駐在するとしたら取り難くない

仮説: 「その試衛館は腐り易い」ということは真実だ
1. 仮定1: 以下のように仮定する。「この外部は半時である一方で御支援でない」ということは間違っている
2. 事実16と仮定1から、推論1: "その殯は有力視する"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この外部は半時であるがしかしそれは御支援であるということはない"が導かれる
5. 推論3から、推論4: "「半時だし御支援であるということはない」ものはある"が導かれる
6. 推論4と事実10から、推論5: "その試衛館は彼女らしい"が導かれる
7. 推論5と事実21から、推論6: "その試衛館は彼女らしいしそれは駐在する"が導かれる
8. 推論6と事実24から、推論7: "その試衛館は取り難くない"が導かれる
9. 推論7と事実8から、仮説が導かれる

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