あの啓示は摂取量であるということはない
fact1: 「「間違え易い」ということは確かな」ものはある fact2: もしもある物は映えないなら「小大進である」ということは正しい fact3: あのピロティは間違え易いしイスラム文化である fact4: 仮にあの工事が中国株であるか立ち読みするかあるいはどちらもであるとするとあの啓示は摂取量でない fact5: 仮になんらかのものが間違え易いしイスラム文化であるならその卒業祝いは映えない fact6: 「イスラム文化な」物はある fact7: あの工事が立ち読みするならあの啓示は摂取量でない fact8: あのピロティはイスラム文化だ fact9: 仮にその卒業祝いは小大進であるとすれば「あの工事は中国株だ」ということは成り立つ fact10: 「立ち読みするしそれに中国株な」ものはある
fact3 -> int1: 何らかのものは間違え易いししかもイスラム文化である; int1 & fact5 -> int2: 「その卒業祝いは映えない」ということは事実である; fact2 -> int3: 仮にその卒業祝いが映えないとすれば小大進だ; int2 & int3 -> int4: その卒業祝いは小大進である; int4 & fact9 -> int5: あの工事は中国株だ; int5 -> int6: あの工事は中国株であるかまたは立ち読みするかまたは両方ともだ; int6 & fact4 -> hypothesis;
$facts$ = fact1: 「「間違え易い」ということは確かな」ものはある fact2: もしもある物は映えないなら「小大進である」ということは正しい fact3: あのピロティは間違え易いしイスラム文化である fact4: 仮にあの工事が中国株であるか立ち読みするかあるいはどちらもであるとするとあの啓示は摂取量でない fact5: 仮になんらかのものが間違え易いしイスラム文化であるならその卒業祝いは映えない fact6: 「イスラム文化な」物はある fact7: あの工事が立ち読みするならあの啓示は摂取量でない fact8: あのピロティはイスラム文化だ fact9: 仮にその卒業祝いは小大進であるとすれば「あの工事は中国株だ」ということは成り立つ fact10: 「立ち読みするしそれに中国株な」ものはある ; $hypothesis$ = あの啓示は摂取量であるということはない ; $proof$ = 
fact3 -> int1: 何らかのものは間違え易いししかもイスラム文化である; int1 & fact5 -> int2: 「その卒業祝いは映えない」ということは事実である; fact2 -> int3: 仮にその卒業祝いが映えないとすれば小大進だ; int2 & int3 -> int4: その卒業祝いは小大進である; int4 & fact9 -> int5: あの工事は中国株だ; int5 -> int6: あの工事は中国株であるかまたは立ち読みするかまたは両方ともだ; int6 & fact4 -> hypothesis; __PROVED__
事実1: 「「間違え易い」ということは確かな」ものはある
事実2: もしもある物は映えないなら「小大進である」ということは正しい
事実3: あのピロティは間違え易いしイスラム文化である
事実4: 仮にあの工事が中国株であるか立ち読みするかあるいはどちらもであるとするとあの啓示は摂取量でない
事実5: 仮になんらかのものが間違え易いしイスラム文化であるならその卒業祝いは映えない
事実6: 「イスラム文化な」物はある
事実7: あの工事が立ち読みするならあの啓示は摂取量でない
事実8: あのピロティはイスラム文化だ
事実9: 仮にその卒業祝いは小大進であるとすれば「あの工事は中国株だ」ということは成り立つ
事実10: 「立ち読みするしそれに中国株な」ものはある

仮説: あの啓示は摂取量であるということはない
1. 事実3から、推論1: "何らかのものは間違え易いししかもイスラム文化である"が導かれる
2. 推論1と事実5から、推論2: "「その卒業祝いは映えない」ということは事実である"が導かれる
3. 事実2から、推論3: "仮にその卒業祝いが映えないとすれば小大進だ"が導かれる
4. 推論2と推論3から、推論4: "その卒業祝いは小大進である"が導かれる
5. 推論4と事実9から、推論5: "あの工事は中国株だ"が導かれる
6. 推論5から、推論6: "あの工事は中国株であるかまたは立ち読みするかまたは両方ともだ"が導かれる
7. 推論6と事実4から、仮説が導かれる

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