「この読者層は怖くなくてしかもインタビューするということはない」ということは偽である
fact1: あのリフォーム事業は取り急ぐ fact2: この表現技法は紅潮しない fact3: もしも何らかのものが生まれ易いとすればその宮参りは決め手であるし更に同協議会である fact4: 仮にこの表現技法は見苦しいとすると「それは画像データである一方で取り急がない」ということは正しくない fact5: とあるものが決め手でないならばそれは怖いということはないし自治機能だ fact6: 全ては発表し合う fact7: ある物が自治機能だとするとそれは画像データである fact8: 仮に怖いということはないものがインタビューしないならばそれは画像データだということはない fact9: もしその宮参りが決め手であるしそれに発表し合うならばあのリフォーム事業は決め手でない fact10: もしこの表現技法が紅潮しないとすれば見苦しくてまたそれは反映され易い fact11: この回復利益は取り急ぐ fact12: もしあのリフォーム事業が取り急ぐならこの読者層は自治機能だ fact13: 何らかの物は生まれ易い fact14: 仮に怖い物がインタビューしないとすればそれは画像データでない fact15: あのリフォーム事業が怖いということはないけどそれは自治機能であるとしたら「この読者層は怖くない」ということは本当である
fact8 -> int1: もしこの読者層が怖くないしその上インタビューしないとすると画像データだということはない; void -> assump1: 以下のように仮定する。この読者層は怖いということはないしさらにインタビューしない; int1 & assump1 -> int2: この読者層は画像データでない; fact12 & fact1 -> int3: この読者層は自治機能である; fact7 -> int4: もし仮にこの読者層は自治機能であるならそれは画像データである; int3 & int4 -> int5: 「この読者層は画像データだ」ということは事実である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この読者層は怖くないしそれはインタビューしない
fact23 -> int7: 仮にあのリフォーム事業が決め手でないならばそれが怖いということはないしその上それは自治機能である; fact24 & fact16 -> int8: その宮参りは決め手であるし同協議会だ; int8 -> int9: その宮参りは決め手である; fact19 -> int10: その宮参りは発表し合う; int9 & int10 -> int11: その宮参りは決め手であるし加えて発表し合う; fact20 & int11 -> int12: 「あのリフォーム事業は決め手であるということはない」ということは成り立つ; int7 & int12 -> int13: あのリフォーム事業は怖くないけれどそれは自治機能だ; fact17 & int13 -> int14: この読者層は怖いということはない; fact22 & fact21 -> int15: この表現技法は見苦しいし反映され易い; int15 -> int16: 「この表現技法は見苦しい」ということは正しい; fact18 & int16 -> int17: 「この表現技法は画像データであるが取り急ぐということはない」ということは間違いだ; int17 -> int18: 「「画像データであるがしかし取り急がない」ということは間違いである」物はある;
$facts$ = fact1: あのリフォーム事業は取り急ぐ fact2: この表現技法は紅潮しない fact3: もしも何らかのものが生まれ易いとすればその宮参りは決め手であるし更に同協議会である fact4: 仮にこの表現技法は見苦しいとすると「それは画像データである一方で取り急がない」ということは正しくない fact5: とあるものが決め手でないならばそれは怖いということはないし自治機能だ fact6: 全ては発表し合う fact7: ある物が自治機能だとするとそれは画像データである fact8: 仮に怖いということはないものがインタビューしないならばそれは画像データだということはない fact9: もしその宮参りが決め手であるしそれに発表し合うならばあのリフォーム事業は決め手でない fact10: もしこの表現技法が紅潮しないとすれば見苦しくてまたそれは反映され易い fact11: この回復利益は取り急ぐ fact12: もしあのリフォーム事業が取り急ぐならこの読者層は自治機能だ fact13: 何らかの物は生まれ易い fact14: 仮に怖い物がインタビューしないとすればそれは画像データでない fact15: あのリフォーム事業が怖いということはないけどそれは自治機能であるとしたら「この読者層は怖くない」ということは本当である ; $hypothesis$ = 「この読者層は怖くなくてしかもインタビューするということはない」ということは偽である ; $proof$ = 
fact8 -> int1: もしこの読者層が怖くないしその上インタビューしないとすると画像データだということはない; void -> assump1: 以下のように仮定する。この読者層は怖いということはないしさらにインタビューしない; int1 & assump1 -> int2: この読者層は画像データでない; fact12 & fact1 -> int3: この読者層は自治機能である; fact7 -> int4: もし仮にこの読者層は自治機能であるならそれは画像データである; int3 & int4 -> int5: 「この読者層は画像データだ」ということは事実である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: あのリフォーム事業は取り急ぐ
事実2: この表現技法は紅潮しない
事実3: もしも何らかのものが生まれ易いとすればその宮参りは決め手であるし更に同協議会である
事実4: 仮にこの表現技法は見苦しいとすると「それは画像データである一方で取り急がない」ということは正しくない
事実5: とあるものが決め手でないならばそれは怖いということはないし自治機能だ
事実6: 全ては発表し合う
事実7: ある物が自治機能だとするとそれは画像データである
事実8: 仮に怖いということはないものがインタビューしないならばそれは画像データだということはない
事実9: もしその宮参りが決め手であるしそれに発表し合うならばあのリフォーム事業は決め手でない
事実10: もしこの表現技法が紅潮しないとすれば見苦しくてまたそれは反映され易い
事実11: この回復利益は取り急ぐ
事実12: もしあのリフォーム事業が取り急ぐならこの読者層は自治機能だ
事実13: 何らかの物は生まれ易い
事実14: 仮に怖い物がインタビューしないとすればそれは画像データでない
事実15: あのリフォーム事業が怖いということはないけどそれは自治機能であるとしたら「この読者層は怖くない」ということは本当である

仮説: 「この読者層は怖くなくてしかもインタビューするということはない」ということは偽である
1. 事実8から、推論1: "もしこの読者層が怖くないしその上インタビューしないとすると画像データだということはない"が導かれる
2. 仮定1: 以下のように仮定する。この読者層は怖いということはないしさらにインタビューしない
3. 推論1と仮定1から、推論2: "この読者層は画像データでない"が導かれる
4. 事実12と事実1から、推論3: "この読者層は自治機能である"が導かれる
5. 事実7から、推論4: "もし仮にこの読者層は自治機能であるならそれは画像データである"が導かれる
6. 推論3と推論4から、推論5: "「この読者層は画像データだ」ということは事実である"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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