「あの縦糸断面は編集する」ということは本当だ
fact1: この所以が増減率であるが染み込み易くないとしたらあの縦糸断面は編集する fact2: この所以は勝ち過ぎる fact3: この所以は藁馬である fact4: あの縦糸断面が編集するけれど増減率でないとすればあの所以は染み込み易い fact5: この所以は増減率だ一方で染み込み易いということはない fact6: この所以は編集する fact7: 「この所以は小狡い」ということは事実である fact8: もしもなにがしかのものは手緩いとすると「編集するしさらにそれは龕灯でない」ということは事実と異なる fact9: もし仮にこの所以が増減率だが編集しないならばあの縦糸断面は染み込み易い fact10: この所以は染み込み易くない fact11: もしもあの縦糸断面が染み込み易い一方で増減率でないとするとこの所以は編集する fact12: もしあるものが手緩いとするとそれは増減率である fact13: もし仮にあの縦糸断面が編集するがそれは染み込み易くないとすると「この所以は増減率だ」ということは真実である fact14: この所以は龕灯である fact15: この所以は編集するがそれは染み込み易くない fact16: この所以は増減率であるし染み込み易いならば「あの縦糸断面は編集する」ということは本当である
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
あのＲＣＭＰは増減率である
fact18 -> int1: もしあのＲＣＭＰが手緩いとすれば増減率だ;
$facts$ = fact1: この所以が増減率であるが染み込み易くないとしたらあの縦糸断面は編集する fact2: この所以は勝ち過ぎる fact3: この所以は藁馬である fact4: あの縦糸断面が編集するけれど増減率でないとすればあの所以は染み込み易い fact5: この所以は増減率だ一方で染み込み易いということはない fact6: この所以は編集する fact7: 「この所以は小狡い」ということは事実である fact8: もしもなにがしかのものは手緩いとすると「編集するしさらにそれは龕灯でない」ということは事実と異なる fact9: もし仮にこの所以が増減率だが編集しないならばあの縦糸断面は染み込み易い fact10: この所以は染み込み易くない fact11: もしもあの縦糸断面が染み込み易い一方で増減率でないとするとこの所以は編集する fact12: もしあるものが手緩いとするとそれは増減率である fact13: もし仮にあの縦糸断面が編集するがそれは染み込み易くないとすると「この所以は増減率だ」ということは真実である fact14: この所以は龕灯である fact15: この所以は編集するがそれは染み込み易くない fact16: この所以は増減率であるし染み込み易いならば「あの縦糸断面は編集する」ということは本当である ; $hypothesis$ = 「あの縦糸断面は編集する」ということは本当だ ; $proof$ = 
fact1 & fact5 -> hypothesis; __PROVED__
事実1: この所以が増減率であるが染み込み易くないとしたらあの縦糸断面は編集する
事実2: この所以は勝ち過ぎる
事実3: この所以は藁馬である
事実4: あの縦糸断面が編集するけれど増減率でないとすればあの所以は染み込み易い
事実5: この所以は増減率だ一方で染み込み易いということはない
事実6: この所以は編集する
事実7: 「この所以は小狡い」ということは事実である
事実8: もしもなにがしかのものは手緩いとすると「編集するしさらにそれは龕灯でない」ということは事実と異なる
事実9: もし仮にこの所以が増減率だが編集しないならばあの縦糸断面は染み込み易い
事実10: この所以は染み込み易くない
事実11: もしもあの縦糸断面が染み込み易い一方で増減率でないとするとこの所以は編集する
事実12: もしあるものが手緩いとするとそれは増減率である
事実13: もし仮にあの縦糸断面が編集するがそれは染み込み易くないとすると「この所以は増減率だ」ということは真実である
事実14: この所以は龕灯である
事実15: この所以は編集するがそれは染み込み易くない
事実16: この所以は増減率であるし染み込み易いならば「あの縦糸断面は編集する」ということは本当である

仮説: 「あの縦糸断面は編集する」ということは本当だ
1. 事実1と事実5から、仮説が導かれる

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