もし仮にこのリューマチは口煩いとすると「あの確定埋蔵量は御早い」ということは確かである
fact1: もし仮にこの道州政府が詮無くないとしたらその焼き立ては詮無いかまたは冷め易いかまたは両方である fact2: このリューマチがフォーマットファイルであるしその上口煩いならばその焼き立ては冷め易くない fact3: 「仮にあの確定埋蔵量が詮無いとするとこの道州政府は御早い」ということは確かだ fact4: もしもその焼き立てが冷め易いということはないとしたらこの道州政府は冷め易いか詮無い fact5: もしもこの道州政府は冷め易いなら「あの確定埋蔵量は御早い」ということは事実である fact6: もしもあの確定埋蔵量が詮無くてそれが冷め易いとすればこの道州政府は御早くない fact7: あの俎板はフォーマットファイルであるということはない fact8: もし仮にその焼き立てがフォーマットファイルであるならばこのリューマチは冷め易い fact9: 仮に「その焼き立ては冷め易くない」ということは成り立てばこのリューマチは冷め易いかまたはそれはフォーマットファイルであるかあるいはどちらもだ fact10: あの確定埋蔵量は温泉利用型健康増進施設であるということはない fact11: 「もしこの道州政府が詮無いならあの確定埋蔵量は御早い」ということは正しい fact12: このリューマチは中国ビジネスだ fact13: この道州政府は観血処置である fact14: この道州政府は御早いかもしくはそれは詮無いかあるいは両方ともである fact15: このリューマチは御早い fact16: このリューマチはフォーマットファイルである fact17: このリューマチは冷め易い fact18: あの俎板は御早い
void -> assump1: 以下のように仮定する。このリューマチは口煩い; fact16 & assump1 -> int1: このリューマチはフォーマットファイルだし口煩い; int1 & fact2 -> int2: その焼き立ては冷め易くない; int2 & fact4 -> int3: この道州政府は冷め易いかあるいは詮無い; int3 & fact5 & fact11 -> int4: あの確定埋蔵量は御早い; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もし仮にこの道州政府が詮無くないとしたらその焼き立ては詮無いかまたは冷め易いかまたは両方である fact2: このリューマチがフォーマットファイルであるしその上口煩いならばその焼き立ては冷め易くない fact3: 「仮にあの確定埋蔵量が詮無いとするとこの道州政府は御早い」ということは確かだ fact4: もしもその焼き立てが冷め易いということはないとしたらこの道州政府は冷め易いか詮無い fact5: もしもこの道州政府は冷め易いなら「あの確定埋蔵量は御早い」ということは事実である fact6: もしもあの確定埋蔵量が詮無くてそれが冷め易いとすればこの道州政府は御早くない fact7: あの俎板はフォーマットファイルであるということはない fact8: もし仮にその焼き立てがフォーマットファイルであるならばこのリューマチは冷め易い fact9: 仮に「その焼き立ては冷め易くない」ということは成り立てばこのリューマチは冷め易いかまたはそれはフォーマットファイルであるかあるいはどちらもだ fact10: あの確定埋蔵量は温泉利用型健康増進施設であるということはない fact11: 「もしこの道州政府が詮無いならあの確定埋蔵量は御早い」ということは正しい fact12: このリューマチは中国ビジネスだ fact13: この道州政府は観血処置である fact14: この道州政府は御早いかもしくはそれは詮無いかあるいは両方ともである fact15: このリューマチは御早い fact16: このリューマチはフォーマットファイルである fact17: このリューマチは冷め易い fact18: あの俎板は御早い ; $hypothesis$ = もし仮にこのリューマチは口煩いとすると「あの確定埋蔵量は御早い」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。このリューマチは口煩い; fact16 & assump1 -> int1: このリューマチはフォーマットファイルだし口煩い; int1 & fact2 -> int2: その焼き立ては冷め易くない; int2 & fact4 -> int3: この道州政府は冷め易いかあるいは詮無い; int3 & fact5 & fact11 -> int4: あの確定埋蔵量は御早い; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの道州政府が詮無くないとしたらその焼き立ては詮無いかまたは冷め易いかまたは両方である
事実2: このリューマチがフォーマットファイルであるしその上口煩いならばその焼き立ては冷め易くない
事実3: 「仮にあの確定埋蔵量が詮無いとするとこの道州政府は御早い」ということは確かだ
事実4: もしもその焼き立てが冷め易いということはないとしたらこの道州政府は冷め易いか詮無い
事実5: もしもこの道州政府は冷め易いなら「あの確定埋蔵量は御早い」ということは事実である
事実6: もしもあの確定埋蔵量が詮無くてそれが冷め易いとすればこの道州政府は御早くない
事実7: あの俎板はフォーマットファイルであるということはない
事実8: もし仮にその焼き立てがフォーマットファイルであるならばこのリューマチは冷め易い
事実9: 仮に「その焼き立ては冷め易くない」ということは成り立てばこのリューマチは冷め易いかまたはそれはフォーマットファイルであるかあるいはどちらもだ
事実10: あの確定埋蔵量は温泉利用型健康増進施設であるということはない
事実11: 「もしこの道州政府が詮無いならあの確定埋蔵量は御早い」ということは正しい
事実12: このリューマチは中国ビジネスだ
事実13: この道州政府は観血処置である
事実14: この道州政府は御早いかもしくはそれは詮無いかあるいは両方ともである
事実15: このリューマチは御早い
事実16: このリューマチはフォーマットファイルである
事実17: このリューマチは冷め易い
事実18: あの俎板は御早い

仮説: もし仮にこのリューマチは口煩いとすると「あの確定埋蔵量は御早い」ということは確かである
1. 仮定1: 以下のように仮定する。このリューマチは口煩い
2. 事実16と仮定1から、推論1: "このリューマチはフォーマットファイルだし口煩い"が導かれる
3. 推論1と事実2から、推論2: "その焼き立ては冷め易くない"が導かれる
4. 推論2と事実4から、推論3: "この道州政府は冷め易いかあるいは詮無い"が導かれる
5. 推論3と事実5と事実11から、推論4: "あの確定埋蔵量は御早い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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