もし仮にこの五月半ばがターミネーターであるならばあの雪掻きは剥がす
fact1: もし仮にその法案成立が揉み続ける一方で貯水するということはないとするとあの雪掻きは剥がす fact2: もしこの五月半ばがターミネーターであるとするとその法案成立は揉み続けるがしかし貯水しない
void -> assump1: 以下のように仮定する。この五月半ばはターミネーターだ; fact2 & assump1 -> int1: その法案成立は揉み続ける一方でそれは貯水しない; int1 & fact1 -> int2: あの雪掻きは剥がす; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし仮にその法案成立が揉み続ける一方で貯水するということはないとするとあの雪掻きは剥がす fact2: もしこの五月半ばがターミネーターであるとするとその法案成立は揉み続けるがしかし貯水しない ; $hypothesis$ = もし仮にこの五月半ばがターミネーターであるならばあの雪掻きは剥がす ; $proof$ = 
void -> assump1: 以下のように仮定する。この五月半ばはターミネーターだ; fact2 & assump1 -> int1: その法案成立は揉み続ける一方でそれは貯水しない; int1 & fact1 -> int2: あの雪掻きは剥がす; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮にその法案成立が揉み続ける一方で貯水するということはないとするとあの雪掻きは剥がす
事実2: もしこの五月半ばがターミネーターであるとするとその法案成立は揉み続けるがしかし貯水しない

仮説: もし仮にこの五月半ばがターミネーターであるならばあの雪掻きは剥がす
1. 仮定1: 以下のように仮定する。この五月半ばはターミネーターだ
2. 事実2と仮定1から、推論1: "その法案成立は揉み続ける一方でそれは貯水しない"が導かれる
3. 推論1と事実1から、推論2: "あの雪掻きは剥がす"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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