「その取り零しは発現し易い」ということは確かであるならその乗組は破断する
fact1: もしもその取り零しが発現し易いとするとこの郷土料理はか細い fact2: 仮にこの郷土料理がか細いとしたらその乗組は破断する fact3: あの批判精神はか細い fact4: 仮にその取り零しはか細くないとすればそのベートーヴェン自身は発現し易い fact5: もしもその乗組は計画しないなら「この郷土料理はか細いということはないかもしくはそれは破断しない」ということは成り立たない fact6: 仮にその取り零しがか細いとしたらこの郷土料理は発現し易い fact7: 仮に「この郷土料理はか細いということはないか破断しないかあるいは両方ともだ」ということは成り立たないならその取り零しはか細くない fact8: この政友会は発現し易い
void -> assump1: 以下のように仮定する。その取り零しは発現し易い; fact1 & assump1 -> int1: この郷土料理はか細い; int1 & fact2 -> int2: その乗組は破断する; [assump1] & int2 -> hypothesis;
そのベートーヴェン自身は発現し易い
$facts$ = fact1: もしもその取り零しが発現し易いとするとこの郷土料理はか細い fact2: 仮にこの郷土料理がか細いとしたらその乗組は破断する fact3: あの批判精神はか細い fact4: 仮にその取り零しはか細くないとすればそのベートーヴェン自身は発現し易い fact5: もしもその乗組は計画しないなら「この郷土料理はか細いということはないかもしくはそれは破断しない」ということは成り立たない fact6: 仮にその取り零しがか細いとしたらこの郷土料理は発現し易い fact7: 仮に「この郷土料理はか細いということはないか破断しないかあるいは両方ともだ」ということは成り立たないならその取り零しはか細くない fact8: この政友会は発現し易い ; $hypothesis$ = 「その取り零しは発現し易い」ということは確かであるならその乗組は破断する ; $proof$ = 
void -> assump1: 以下のように仮定する。その取り零しは発現し易い; fact1 & assump1 -> int1: この郷土料理はか細い; int1 & fact2 -> int2: その乗組は破断する; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしもその取り零しが発現し易いとするとこの郷土料理はか細い
事実2: 仮にこの郷土料理がか細いとしたらその乗組は破断する
事実3: あの批判精神はか細い
事実4: 仮にその取り零しはか細くないとすればそのベートーヴェン自身は発現し易い
事実5: もしもその乗組は計画しないなら「この郷土料理はか細いということはないかもしくはそれは破断しない」ということは成り立たない
事実6: 仮にその取り零しがか細いとしたらこの郷土料理は発現し易い
事実7: 仮に「この郷土料理はか細いということはないか破断しないかあるいは両方ともだ」ということは成り立たないならその取り零しはか細くない
事実8: この政友会は発現し易い

仮説: 「その取り零しは発現し易い」ということは確かであるならその乗組は破断する
1. 仮定1: 以下のように仮定する。その取り零しは発現し易い
2. 事実1と仮定1から、推論1: "この郷土料理はか細い"が導かれる
3. 推論1と事実2から、推論2: "その乗組は破断する"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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