あの揚羽蝶は原動機であるし過不足無い
fact1: 仮にこの春風が戻し易くないとしたら痛いけど等質化しない fact2: もし仮にとある物は痛いが等質化しないならばそれは過不足無くない fact3: 仮にあの揚羽蝶は痛くないがしかし等質化するとすればそれは戻し易い fact4: 「この春風は感嘆しなくて更に見終えない」ということは成り立たないならあの揚羽蝶は痛くない fact5: あの揚羽蝶は等質化する fact6: この春風が感嘆するとしたらあの揚羽蝶は痛くない fact7: もし仮に「この春風は原動機でしかも過不足無い」ということは誤っているなら原動機でない fact8: もし仮にあの揚羽蝶が戻し易いなら原動機である fact9: 「「この春風は原動機だし過不足無い」ということは確かである」ということは誤っている fact10: 「あの揚羽蝶は過不足無い」ということは正しい fact11: 「もしもとあるものが感嘆するかあるいは等質化するならばあの商業誌は感嘆する」ということは事実だ fact12: 「この春風は感嘆するということはないしおまけに見終えない」ということは成り立たない fact13: 「痛い物は等質化する」ということは事実である
fact4 & fact12 -> int1: あの揚羽蝶は痛くない; int1 & fact5 -> int2: あの揚羽蝶は痛くないけれど等質化する; int2 & fact3 -> int3: 「あの揚羽蝶は戻し易い」ということは間違いであるということはない; int3 & fact8 -> int4: あの揚羽蝶は原動機である; int4 & fact10 -> hypothesis;
その商業誌は感嘆する
fact16 -> int5: 仮にこの春風は痛いとすれば「それは等質化する」ということは誤りでない; fact14 & fact17 -> int6: この春風は原動機でない;
$facts$ = fact1: 仮にこの春風が戻し易くないとしたら痛いけど等質化しない fact2: もし仮にとある物は痛いが等質化しないならばそれは過不足無くない fact3: 仮にあの揚羽蝶は痛くないがしかし等質化するとすればそれは戻し易い fact4: 「この春風は感嘆しなくて更に見終えない」ということは成り立たないならあの揚羽蝶は痛くない fact5: あの揚羽蝶は等質化する fact6: この春風が感嘆するとしたらあの揚羽蝶は痛くない fact7: もし仮に「この春風は原動機でしかも過不足無い」ということは誤っているなら原動機でない fact8: もし仮にあの揚羽蝶が戻し易いなら原動機である fact9: 「「この春風は原動機だし過不足無い」ということは確かである」ということは誤っている fact10: 「あの揚羽蝶は過不足無い」ということは正しい fact11: 「もしもとあるものが感嘆するかあるいは等質化するならばあの商業誌は感嘆する」ということは事実だ fact12: 「この春風は感嘆するということはないしおまけに見終えない」ということは成り立たない fact13: 「痛い物は等質化する」ということは事実である ; $hypothesis$ = あの揚羽蝶は原動機であるし過不足無い ; $proof$ = 
fact4 & fact12 -> int1: あの揚羽蝶は痛くない; int1 & fact5 -> int2: あの揚羽蝶は痛くないけれど等質化する; int2 & fact3 -> int3: 「あの揚羽蝶は戻し易い」ということは間違いであるということはない; int3 & fact8 -> int4: あの揚羽蝶は原動機である; int4 & fact10 -> hypothesis; __PROVED__
事実1: 仮にこの春風が戻し易くないとしたら痛いけど等質化しない
事実2: もし仮にとある物は痛いが等質化しないならばそれは過不足無くない
事実3: 仮にあの揚羽蝶は痛くないがしかし等質化するとすればそれは戻し易い
事実4: 「この春風は感嘆しなくて更に見終えない」ということは成り立たないならあの揚羽蝶は痛くない
事実5: あの揚羽蝶は等質化する
事実6: この春風が感嘆するとしたらあの揚羽蝶は痛くない
事実7: もし仮に「この春風は原動機でしかも過不足無い」ということは誤っているなら原動機でない
事実8: もし仮にあの揚羽蝶が戻し易いなら原動機である
事実9: 「「この春風は原動機だし過不足無い」ということは確かである」ということは誤っている
事実10: 「あの揚羽蝶は過不足無い」ということは正しい
事実11: 「もしもとあるものが感嘆するかあるいは等質化するならばあの商業誌は感嘆する」ということは事実だ
事実12: 「この春風は感嘆するということはないしおまけに見終えない」ということは成り立たない
事実13: 「痛い物は等質化する」ということは事実である

仮説: あの揚羽蝶は原動機であるし過不足無い
1. 事実4と事実12から、推論1: "あの揚羽蝶は痛くない"が導かれる
2. 推論1と事実5から、推論2: "あの揚羽蝶は痛くないけれど等質化する"が導かれる
3. 推論2と事実3から、推論3: "「あの揚羽蝶は戻し易い」ということは間違いであるということはない"が導かれる
4. 推論3と事実8から、推論4: "あの揚羽蝶は原動機である"が導かれる
5. 推論4と事実10から、仮説が導かれる

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