もし「この加重は逃れ難い」ということは正しいならこの次文は御案内である
fact1: その踊りは逃れ難い fact2: この牧草地は天狗らしい fact3: 仮にこの加重が天狗らしいとしたらこの次文は逃れ難い fact4: もしも「この次文は御案内である」ということは確かであるならばこの加重は天狗らしい fact5: もし仮にこの次文が逃れ難いならばこの加重は天狗らしい fact6: もし「この加重は逃れ難い」ということは事実であるとするとこの次文は天狗らしい fact7: その憤死は逃れ難い fact8: もし仮にこの加重は御案内なら「この次文は逃れ難い」ということは成り立つ fact9: もしもとあるものが天狗らしいとしたらそれは逃れ難い fact10: この経常利益金額は逃れ難い fact11: もし仮にこの次文が天狗らしいとしたらこの加重は御案内だ fact12: 天狗らしいものは御案内だ fact13: この加重は活動し易い fact14: 仮にとある物がプラスすれば幼けない fact15: 仮にこの加重が御案内であるとすればあの次文は天狗らしい fact16: 馴染み深いものは駆潜艇だ fact17: 仮にこの次文が逃れ難いならそれは天狗らしい fact18: もしこの加重が御案内だとすればそれは逃れ難い fact19: もし仮にこの次文が逃れ難いならこの加重は御案内である fact20: もしもこの加重は天使らしいとしたら「この次文は祝す」ということは成り立つ fact21: もし仮にこの加重が天狗らしいとしたら逃れ難い
void -> assump1: 以下のように仮定する。「この加重は逃れ難い」ということは確かである; fact6 & assump1 -> int1: この次文は天狗らしい; fact12 -> int2: この次文が天狗らしいならそれは御案内である; int1 & int2 -> int3: この次文は御案内である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: その踊りは逃れ難い fact2: この牧草地は天狗らしい fact3: 仮にこの加重が天狗らしいとしたらこの次文は逃れ難い fact4: もしも「この次文は御案内である」ということは確かであるならばこの加重は天狗らしい fact5: もし仮にこの次文が逃れ難いならばこの加重は天狗らしい fact6: もし「この加重は逃れ難い」ということは事実であるとするとこの次文は天狗らしい fact7: その憤死は逃れ難い fact8: もし仮にこの加重は御案内なら「この次文は逃れ難い」ということは成り立つ fact9: もしもとあるものが天狗らしいとしたらそれは逃れ難い fact10: この経常利益金額は逃れ難い fact11: もし仮にこの次文が天狗らしいとしたらこの加重は御案内だ fact12: 天狗らしいものは御案内だ fact13: この加重は活動し易い fact14: 仮にとある物がプラスすれば幼けない fact15: 仮にこの加重が御案内であるとすればあの次文は天狗らしい fact16: 馴染み深いものは駆潜艇だ fact17: 仮にこの次文が逃れ難いならそれは天狗らしい fact18: もしこの加重が御案内だとすればそれは逃れ難い fact19: もし仮にこの次文が逃れ難いならこの加重は御案内である fact20: もしもこの加重は天使らしいとしたら「この次文は祝す」ということは成り立つ fact21: もし仮にこの加重が天狗らしいとしたら逃れ難い ; $hypothesis$ = もし「この加重は逃れ難い」ということは正しいならこの次文は御案内である ; $proof$ = 
void -> assump1: 以下のように仮定する。「この加重は逃れ難い」ということは確かである; fact6 & assump1 -> int1: この次文は天狗らしい; fact12 -> int2: この次文が天狗らしいならそれは御案内である; int1 & int2 -> int3: この次文は御案内である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その踊りは逃れ難い
事実2: この牧草地は天狗らしい
事実3: 仮にこの加重が天狗らしいとしたらこの次文は逃れ難い
事実4: もしも「この次文は御案内である」ということは確かであるならばこの加重は天狗らしい
事実5: もし仮にこの次文が逃れ難いならばこの加重は天狗らしい
事実6: もし「この加重は逃れ難い」ということは事実であるとするとこの次文は天狗らしい
事実7: その憤死は逃れ難い
事実8: もし仮にこの加重は御案内なら「この次文は逃れ難い」ということは成り立つ
事実9: もしもとあるものが天狗らしいとしたらそれは逃れ難い
事実10: この経常利益金額は逃れ難い
事実11: もし仮にこの次文が天狗らしいとしたらこの加重は御案内だ
事実12: 天狗らしいものは御案内だ
事実13: この加重は活動し易い
事実14: 仮にとある物がプラスすれば幼けない
事実15: 仮にこの加重が御案内であるとすればあの次文は天狗らしい
事実16: 馴染み深いものは駆潜艇だ
事実17: 仮にこの次文が逃れ難いならそれは天狗らしい
事実18: もしこの加重が御案内だとすればそれは逃れ難い
事実19: もし仮にこの次文が逃れ難いならこの加重は御案内である
事実20: もしもこの加重は天使らしいとしたら「この次文は祝す」ということは成り立つ
事実21: もし仮にこの加重が天狗らしいとしたら逃れ難い

仮説: もし「この加重は逃れ難い」ということは正しいならこの次文は御案内である
1. 仮定1: 以下のように仮定する。「この加重は逃れ難い」ということは確かである
2. 事実6と仮定1から、推論1: "この次文は天狗らしい"が導かれる
3. 事実12から、推論2: "この次文が天狗らしいならそれは御案内である"が導かれる
4. 推論1と推論2から、推論3: "この次文は御案内である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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