その愛妾が米国同時多発テロならその総檜は軽過失である
fact1: 仮にその愛妾が軽過失だとするとその総檜は米国同時多発テロだ fact2: もしもその愛妾が米国同時多発テロだとしたらその手中は御固い fact3: 仮にその手中が御固いならその総檜は軽過失だ fact4: その手中は付け難い fact5: 仮にその愛妾は軽過失だとすると「その総檜は御固い」ということは確かである fact6: もしその愛妾は御固いならば「その手中は米国同時多発テロである」ということは成り立つ fact7: もしもその総檜が御固いとすればその手中は軽過失だ fact8: 仮にその手中が御固いとしたらその愛妾は軽過失だ fact9: もしその総檜が軽過失ならばその愛妾は御固い fact10: その手中が米国同時多発テロであるとするとその総檜は御固い fact11: その手中は米国同時多発テロである fact12: その国内戦は御固い fact13: その発達観は御固い fact14: もしその総檜が軽過失ならばその手中は米国同時多発テロである fact15: その総檜は米国同時多発テロである fact16: もし仮にその手中が軽過失であるならばあの総檜は御固い fact17: 仮にその手中が米国同時多発テロだとすればその愛妾は御固い fact18: その総檜は解明出来る
void -> assump1: 以下のように仮定する。その愛妾は米国同時多発テロだ; fact2 & assump1 -> int1: その手中は御固い; int1 & fact3 -> int2: その総檜は軽過失である; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 仮にその愛妾が軽過失だとするとその総檜は米国同時多発テロだ fact2: もしもその愛妾が米国同時多発テロだとしたらその手中は御固い fact3: 仮にその手中が御固いならその総檜は軽過失だ fact4: その手中は付け難い fact5: 仮にその愛妾は軽過失だとすると「その総檜は御固い」ということは確かである fact6: もしその愛妾は御固いならば「その手中は米国同時多発テロである」ということは成り立つ fact7: もしもその総檜が御固いとすればその手中は軽過失だ fact8: 仮にその手中が御固いとしたらその愛妾は軽過失だ fact9: もしその総檜が軽過失ならばその愛妾は御固い fact10: その手中が米国同時多発テロであるとするとその総檜は御固い fact11: その手中は米国同時多発テロである fact12: その国内戦は御固い fact13: その発達観は御固い fact14: もしその総檜が軽過失ならばその手中は米国同時多発テロである fact15: その総檜は米国同時多発テロである fact16: もし仮にその手中が軽過失であるならばあの総檜は御固い fact17: 仮にその手中が米国同時多発テロだとすればその愛妾は御固い fact18: その総檜は解明出来る ; $hypothesis$ = その愛妾が米国同時多発テロならその総檜は軽過失である ; $proof$ = 
void -> assump1: 以下のように仮定する。その愛妾は米国同時多発テロだ; fact2 & assump1 -> int1: その手中は御固い; int1 & fact3 -> int2: その総檜は軽過失である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にその愛妾が軽過失だとするとその総檜は米国同時多発テロだ
事実2: もしもその愛妾が米国同時多発テロだとしたらその手中は御固い
事実3: 仮にその手中が御固いならその総檜は軽過失だ
事実4: その手中は付け難い
事実5: 仮にその愛妾は軽過失だとすると「その総檜は御固い」ということは確かである
事実6: もしその愛妾は御固いならば「その手中は米国同時多発テロである」ということは成り立つ
事実7: もしもその総檜が御固いとすればその手中は軽過失だ
事実8: 仮にその手中が御固いとしたらその愛妾は軽過失だ
事実9: もしその総檜が軽過失ならばその愛妾は御固い
事実10: その手中が米国同時多発テロであるとするとその総檜は御固い
事実11: その手中は米国同時多発テロである
事実12: その国内戦は御固い
事実13: その発達観は御固い
事実14: もしその総檜が軽過失ならばその手中は米国同時多発テロである
事実15: その総檜は米国同時多発テロである
事実16: もし仮にその手中が軽過失であるならばあの総檜は御固い
事実17: 仮にその手中が米国同時多発テロだとすればその愛妾は御固い
事実18: その総檜は解明出来る

仮説: その愛妾が米国同時多発テロならその総檜は軽過失である
1. 仮定1: 以下のように仮定する。その愛妾は米国同時多発テロだ
2. 事実2と仮定1から、推論1: "その手中は御固い"が導かれる
3. 推論1と事実3から、推論2: "その総檜は軽過失である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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