その若者は公共事業投資なら「その異次元はシアン版である」ということは本当である
fact1: もしその若者が公共事業投資ならばそれは強める fact2: 仮にその若者は強めるとしたら「その異次元はシアン版である」ということは真実である
void -> assump1: 以下のように仮定する。「その若者は公共事業投資である」ということは本当だ; fact1 & assump1 -> int1: その若者は強める; int1 & fact2 -> int2: その異次元はシアン版である; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしその若者が公共事業投資ならばそれは強める fact2: 仮にその若者は強めるとしたら「その異次元はシアン版である」ということは真実である ; $hypothesis$ = その若者は公共事業投資なら「その異次元はシアン版である」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。「その若者は公共事業投資である」ということは本当だ; fact1 & assump1 -> int1: その若者は強める; int1 & fact2 -> int2: その異次元はシアン版である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしその若者が公共事業投資ならばそれは強める
事実2: 仮にその若者は強めるとしたら「その異次元はシアン版である」ということは真実である

仮説: その若者は公共事業投資なら「その異次元はシアン版である」ということは本当である
1. 仮定1: 以下のように仮定する。「その若者は公共事業投資である」ということは本当だ
2. 事実1と仮定1から、推論1: "その若者は強める"が導かれる
3. 推論1と事実2から、推論2: "その異次元はシアン版である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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