そのブルドーザ質量は銀行等でないしおまけに拠出出来るということはない
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から、仮説が導かれる

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