あの血中コレステロール値が丸付けならその先月は伝導速度である
fact1: あの血中コレステロール値は険しい fact2: もしあのエキスパンダーはビトーＲ＆Ｄでないならばそれは逆目でない fact3: 仮にその先月は微小管でないならば伝導速度でない fact4: あの血中コレステロール値は飽きっぽい fact5: あの教員採用試験は丸付けでない fact6: その先月は丸付けだということはない fact7: 何かはフィブロネクチンである fact8: その商品市場は表現し難くないけれど力強い fact9: もし仮にこの片鱗が表現し難いとするとその先月は性分らしいということはないがしかし零．二Ｚだ fact10: もし仮に「ある物はエロいししかも不味い」ということは間違いであるならそれは表現し難くない fact11: もし「あるものはエロいし伝導速度である」ということは間違いだとすれば表現し難いということはない fact12: もし表現し難くないものが丸付けだとしたらその先月は伝導速度だ fact13: 「労働条件法でなくてしかも忌まわしい」物はある fact14: 「印象深くない」ものはある fact15: エロいということはない物は表現し難くない fact16: エロいし不味いという物はない fact17: あの血中コレステロール値は張り巡らせない fact18: 「それは一二号機であるしそれは薫製だ」ということは真実だというものはない fact19: あの血中コレステロール値は伝導速度だ
fact16 -> int1: 「「あの血中コレステロール値はエロいし不味い」ということは成り立つということはない」ということは事実だ; fact10 -> int2: もしも「あの血中コレステロール値はエロいし不味い」ということは成り立たないとすれば表現し難くない; int1 & int2 -> int3: あの血中コレステロール値は表現し難くない; void -> assump1: 以下のように仮定する。あの血中コレステロール値は丸付けだ; int3 & assump1 -> int4: 「あの血中コレステロール値は表現し難くない一方で丸付けだ」ということは成り立つ; int4 -> int5: とある物は表現し難くないが丸付けである; int5 & fact12 -> int6: 「その先月は伝導速度である」ということは成り立つ; [assump1] & int6 -> hypothesis;
「性分らしくないけれど零．二Ｚな」ものはある
$facts$ = fact1: あの血中コレステロール値は険しい fact2: もしあのエキスパンダーはビトーＲ＆Ｄでないならばそれは逆目でない fact3: 仮にその先月は微小管でないならば伝導速度でない fact4: あの血中コレステロール値は飽きっぽい fact5: あの教員採用試験は丸付けでない fact6: その先月は丸付けだということはない fact7: 何かはフィブロネクチンである fact8: その商品市場は表現し難くないけれど力強い fact9: もし仮にこの片鱗が表現し難いとするとその先月は性分らしいということはないがしかし零．二Ｚだ fact10: もし仮に「ある物はエロいししかも不味い」ということは間違いであるならそれは表現し難くない fact11: もし「あるものはエロいし伝導速度である」ということは間違いだとすれば表現し難いということはない fact12: もし表現し難くないものが丸付けだとしたらその先月は伝導速度だ fact13: 「労働条件法でなくてしかも忌まわしい」物はある fact14: 「印象深くない」ものはある fact15: エロいということはない物は表現し難くない fact16: エロいし不味いという物はない fact17: あの血中コレステロール値は張り巡らせない fact18: 「それは一二号機であるしそれは薫製だ」ということは真実だというものはない fact19: あの血中コレステロール値は伝導速度だ ; $hypothesis$ = あの血中コレステロール値が丸付けならその先月は伝導速度である ; $proof$ = 
fact16 -> int1: 「「あの血中コレステロール値はエロいし不味い」ということは成り立つということはない」ということは事実だ; fact10 -> int2: もしも「あの血中コレステロール値はエロいし不味い」ということは成り立たないとすれば表現し難くない; int1 & int2 -> int3: あの血中コレステロール値は表現し難くない; void -> assump1: 以下のように仮定する。あの血中コレステロール値は丸付けだ; int3 & assump1 -> int4: 「あの血中コレステロール値は表現し難くない一方で丸付けだ」ということは成り立つ; int4 -> int5: とある物は表現し難くないが丸付けである; int5 & fact12 -> int6: 「その先月は伝導速度である」ということは成り立つ; [assump1] & int6 -> hypothesis; __PROVED__
事実1: あの血中コレステロール値は険しい
事実2: もしあのエキスパンダーはビトーＲ＆Ｄでないならばそれは逆目でない
事実3: 仮にその先月は微小管でないならば伝導速度でない
事実4: あの血中コレステロール値は飽きっぽい
事実5: あの教員採用試験は丸付けでない
事実6: その先月は丸付けだということはない
事実7: 何かはフィブロネクチンである
事実8: その商品市場は表現し難くないけれど力強い
事実9: もし仮にこの片鱗が表現し難いとするとその先月は性分らしいということはないがしかし零．二Ｚだ
事実10: もし仮に「ある物はエロいししかも不味い」ということは間違いであるならそれは表現し難くない
事実11: もし「あるものはエロいし伝導速度である」ということは間違いだとすれば表現し難いということはない
事実12: もし表現し難くないものが丸付けだとしたらその先月は伝導速度だ
事実13: 「労働条件法でなくてしかも忌まわしい」物はある
事実14: 「印象深くない」ものはある
事実15: エロいということはない物は表現し難くない
事実16: エロいし不味いという物はない
事実17: あの血中コレステロール値は張り巡らせない
事実18: 「それは一二号機であるしそれは薫製だ」ということは真実だというものはない
事実19: あの血中コレステロール値は伝導速度だ

仮説: あの血中コレステロール値が丸付けならその先月は伝導速度である
1. 事実16から、推論1: "「「あの血中コレステロール値はエロいし不味い」ということは成り立つということはない」ということは事実だ"が導かれる
2. 事実10から、推論2: "もしも「あの血中コレステロール値はエロいし不味い」ということは成り立たないとすれば表現し難くない"が導かれる
3. 推論1と推論2から、推論3: "あの血中コレステロール値は表現し難くない"が導かれる
4. 仮定1: 以下のように仮定する。あの血中コレステロール値は丸付けだ
5. 推論3と仮定1から、推論4: "「あの血中コレステロール値は表現し難くない一方で丸付けだ」ということは成り立つ"が導かれる
6. 推論4から、推論5: "とある物は表現し難くないが丸付けである"が導かれる
7. 推論5と事実12から、推論6: "「その先月は伝導速度である」ということは成り立つ"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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