もし仮にこの稼働音が敗れるとしたらあの屈強は愛情深い
fact1: もしもあの屈強が実現し得るならそれは愛情深い fact2: もし「敗れるかあるいはトライ出来るかあるいはどちらもである」物があるとすればあの屈強は実現し得る
void -> assump1: 以下のように仮定する。この稼働音は敗れる; assump1 -> int1: この稼働音は敗れるかあるいはトライ出来るかもしくはどちらもだ; int1 -> int2: なんらかの物は敗れるかまたはトライ出来るかまたは両方だ; int2 & fact2 -> int3: あの屈強は実現し得る; int3 & fact1 -> int4: あの屈強は愛情深い; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしもあの屈強が実現し得るならそれは愛情深い fact2: もし「敗れるかあるいはトライ出来るかあるいはどちらもである」物があるとすればあの屈強は実現し得る ; $hypothesis$ = もし仮にこの稼働音が敗れるとしたらあの屈強は愛情深い ; $proof$ = 
void -> assump1: 以下のように仮定する。この稼働音は敗れる; assump1 -> int1: この稼働音は敗れるかあるいはトライ出来るかもしくはどちらもだ; int1 -> int2: なんらかの物は敗れるかまたはトライ出来るかまたは両方だ; int2 & fact2 -> int3: あの屈強は実現し得る; int3 & fact1 -> int4: あの屈強は愛情深い; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしもあの屈強が実現し得るならそれは愛情深い
事実2: もし「敗れるかあるいはトライ出来るかあるいはどちらもである」物があるとすればあの屈強は実現し得る

仮説: もし仮にこの稼働音が敗れるとしたらあの屈強は愛情深い
1. 仮定1: 以下のように仮定する。この稼働音は敗れる
2. 仮定1から、推論1: "この稼働音は敗れるかあるいはトライ出来るかもしくはどちらもだ"が導かれる
3. 推論1から、推論2: "なんらかの物は敗れるかまたはトライ出来るかまたは両方だ"が導かれる
4. 推論2と事実2から、推論3: "あの屈強は実現し得る"が導かれる
5. 推論3と事実1から、推論4: "あの屈強は愛情深い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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