この払暁は進化し続けるということはない
fact1: 仮にしんどい物はフリーキックであるとすればそれは進化し続けない fact2: この払暁はフリーキックである fact3: この払暁はしんどい
fact3 & fact2 -> int1: この払暁はしんどくて加えてフリーキックだ; fact1 -> int2: もしこの払暁はしんどいしその上フリーキックであるならそれは進化し続けない; int1 & int2 -> hypothesis;
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); fact1 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮にしんどい物はフリーキックであるとすればそれは進化し続けない fact2: この払暁はフリーキックである fact3: この払暁はしんどい ; $hypothesis$ = この払暁は進化し続けるということはない ; $proof$ = 
fact3 & fact2 -> int1: この払暁はしんどくて加えてフリーキックだ; fact1 -> int2: もしこの払暁はしんどいしその上フリーキックであるならそれは進化し続けない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にしんどい物はフリーキックであるとすればそれは進化し続けない
事実2: この払暁はフリーキックである
事実3: この払暁はしんどい

仮説: この払暁は進化し続けるということはない
1. 事実3と事実2から、推論1: "この払暁はしんどくて加えてフリーキックだ"が導かれる
2. 事実1から、推論2: "もしこの払暁はしんどいしその上フリーキックであるならそれは進化し続けない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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