この後輪は祓う
fact1: 「その最終利益積み立て金額は円陣である」ということは事実である fact2: もし仮にあの為替差益が選択し為さらないしそれが気忙しくないならばこの後輪は円陣だ fact3: 仮になんらかのものが隠者達であるかもしくはそれが思しか両方ともだとしたらあの防衛態勢は思い易くない fact4: あの為替差益は円陣である fact5: あの防衛態勢が選択し為さるならそれは諸力でないしさらに招聘しない fact6: 仮になにがしかの物は諸力でないし加えて招聘しないなら思い易い fact7: 思しない隠者達は祓わない fact8: あの防衛態勢は思い易くないかまたは諸力だ fact9: もし仮になにがしかの物が円陣だとするとそれは祓う fact10: その最終利益積み立て金額が招聘するとしたらあの為替差益は選択し為さらなくてそれにそれは気忙しくない fact11: 仮にあの防衛態勢が招聘するとするとその最終利益積み立て金額は諸力でない fact12: あの為替差益は気忙しくない fact13: もしも何かは隠者達ならばそれは二分圧である fact14: もし仮に「あの防衛態勢は思い易くないかあるいは諸力でない」ということは成り立つならその最終利益積み立て金額は招聘する fact15: 思い易いということはない物は隠者達である一方で思しない fact16: 「隠者達であるかもしくは思しかもしくは両方な」ものはある fact17: あの防衛態勢は招聘するかもしくは思い易くないかもしくはどちらもだ
fact16 & fact3 -> int1: あの防衛態勢は思い易くない; int1 -> int2: あの防衛態勢は思い易いということはないかもしくは諸力でないかどちらもである; int2 & fact14 -> int3: その最終利益積み立て金額は招聘する; int3 & fact10 -> int4: あの為替差益は選択し為さらないしそれは気忙しくない; int4 & fact2 -> int5: この後輪は円陣である; fact9 -> int6: もしもこの後輪は円陣なら「祓う」ということは成り立つ; int5 & int6 -> hypothesis;
あの防衛態勢は二分圧である
fact18 -> int7: 仮にあの防衛態勢が隠者達だとしたら二分圧である; fact20 -> int8: もしもあの防衛態勢が諸力でなくて更にそれが招聘しないならばそれは思い易い;
$facts$ = fact1: 「その最終利益積み立て金額は円陣である」ということは事実である fact2: もし仮にあの為替差益が選択し為さらないしそれが気忙しくないならばこの後輪は円陣だ fact3: 仮になんらかのものが隠者達であるかもしくはそれが思しか両方ともだとしたらあの防衛態勢は思い易くない fact4: あの為替差益は円陣である fact5: あの防衛態勢が選択し為さるならそれは諸力でないしさらに招聘しない fact6: 仮になにがしかの物は諸力でないし加えて招聘しないなら思い易い fact7: 思しない隠者達は祓わない fact8: あの防衛態勢は思い易くないかまたは諸力だ fact9: もし仮になにがしかの物が円陣だとするとそれは祓う fact10: その最終利益積み立て金額が招聘するとしたらあの為替差益は選択し為さらなくてそれにそれは気忙しくない fact11: 仮にあの防衛態勢が招聘するとするとその最終利益積み立て金額は諸力でない fact12: あの為替差益は気忙しくない fact13: もしも何かは隠者達ならばそれは二分圧である fact14: もし仮に「あの防衛態勢は思い易くないかあるいは諸力でない」ということは成り立つならその最終利益積み立て金額は招聘する fact15: 思い易いということはない物は隠者達である一方で思しない fact16: 「隠者達であるかもしくは思しかもしくは両方な」ものはある fact17: あの防衛態勢は招聘するかもしくは思い易くないかもしくはどちらもだ ; $hypothesis$ = この後輪は祓う ; $proof$ = 
fact16 & fact3 -> int1: あの防衛態勢は思い易くない; int1 -> int2: あの防衛態勢は思い易いということはないかもしくは諸力でないかどちらもである; int2 & fact14 -> int3: その最終利益積み立て金額は招聘する; int3 & fact10 -> int4: あの為替差益は選択し為さらないしそれは気忙しくない; int4 & fact2 -> int5: この後輪は円陣である; fact9 -> int6: もしもこの後輪は円陣なら「祓う」ということは成り立つ; int5 & int6 -> hypothesis; __PROVED__
事実1: 「その最終利益積み立て金額は円陣である」ということは事実である
事実2: もし仮にあの為替差益が選択し為さらないしそれが気忙しくないならばこの後輪は円陣だ
事実3: 仮になんらかのものが隠者達であるかもしくはそれが思しか両方ともだとしたらあの防衛態勢は思い易くない
事実4: あの為替差益は円陣である
事実5: あの防衛態勢が選択し為さるならそれは諸力でないしさらに招聘しない
事実6: 仮になにがしかの物は諸力でないし加えて招聘しないなら思い易い
事実7: 思しない隠者達は祓わない
事実8: あの防衛態勢は思い易くないかまたは諸力だ
事実9: もし仮になにがしかの物が円陣だとするとそれは祓う
事実10: その最終利益積み立て金額が招聘するとしたらあの為替差益は選択し為さらなくてそれにそれは気忙しくない
事実11: 仮にあの防衛態勢が招聘するとするとその最終利益積み立て金額は諸力でない
事実12: あの為替差益は気忙しくない
事実13: もしも何かは隠者達ならばそれは二分圧である
事実14: もし仮に「あの防衛態勢は思い易くないかあるいは諸力でない」ということは成り立つならその最終利益積み立て金額は招聘する
事実15: 思い易いということはない物は隠者達である一方で思しない
事実16: 「隠者達であるかもしくは思しかもしくは両方な」ものはある
事実17: あの防衛態勢は招聘するかもしくは思い易くないかもしくはどちらもだ

仮説: この後輪は祓う
1. 事実16と事実3から、推論1: "あの防衛態勢は思い易くない"が導かれる
2. 推論1から、推論2: "あの防衛態勢は思い易いということはないかもしくは諸力でないかどちらもである"が導かれる
3. 推論2と事実14から、推論3: "その最終利益積み立て金額は招聘する"が導かれる
4. 推論3と事実10から、推論4: "あの為替差益は選択し為さらないしそれは気忙しくない"が導かれる
5. 推論4と事実2から、推論5: "この後輪は円陣である"が導かれる
6. 事実9から、推論6: "もしもこの後輪は円陣なら「祓う」ということは成り立つ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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