この更新は説教出来るしさらにバーチャル・コミュニティだ
fact1: この全体攻撃は大人気無い fact2: 「「再発し易い」ということは成り立つ」物はある fact3: この更新は再発し易い fact4: その異様さがバーチャル・コミュニティだしそれにごちゃごちゃする fact5: もし仮に「この婦人公論は再発し易い」ということは成り立つとしたらその異様さは悲しくない fact6: もしもその異様さがバーチャル・コミュニティであるならばこの更新はバーチャル・コミュニティである fact7: 仮に「その超然主義は大人気無い」ということは事実であるならば「この婦人公論は再発し易い」ということは事実だ fact8: もし仮に「この更新は悲しくない」ということは事実だとすると真っ暗くないけど成され易い fact9: もしその異様さが悲しくないならばこの更新は悲しくない fact10: なんらかのものは悲しくないけど再発し易い fact11: 「その異様さは悲しい」ということは誤っていない fact12: もしこの更新が大人気無くないならばそれは説教出来る fact13: 「バーチャル・コミュニティであるということはない」物はある fact14: 「悲しくない」ものはある fact15: もしも何らかの物が悲しくないけれど再発し易いとすると「この更新は大人気無くない」ということは成り立つ fact16: その異様さはごちゃごちゃする fact17: この職人達は根強いしそれにそれは痒い fact18: もしもこの婦人公論は再発し易くないならば「それは悲しいしまたバーチャル・コミュニティだ」ということは成り立つということはない fact19: 悲しくてかつ再発し易い物はある
fact10 & fact15 -> int1: この更新は大人気無くない; int1 & fact12 -> int2: この更新は説教出来る; fact4 -> int3: その異様さはバーチャル・コミュニティだ; fact6 & int3 -> int4: この更新はバーチャル・コミュニティだ; int2 & int4 -> hypothesis;
「真っ暗くないしその上成され易い」ものはある
$facts$ = fact1: この全体攻撃は大人気無い fact2: 「「再発し易い」ということは成り立つ」物はある fact3: この更新は再発し易い fact4: その異様さがバーチャル・コミュニティだしそれにごちゃごちゃする fact5: もし仮に「この婦人公論は再発し易い」ということは成り立つとしたらその異様さは悲しくない fact6: もしもその異様さがバーチャル・コミュニティであるならばこの更新はバーチャル・コミュニティである fact7: 仮に「その超然主義は大人気無い」ということは事実であるならば「この婦人公論は再発し易い」ということは事実だ fact8: もし仮に「この更新は悲しくない」ということは事実だとすると真っ暗くないけど成され易い fact9: もしその異様さが悲しくないならばこの更新は悲しくない fact10: なんらかのものは悲しくないけど再発し易い fact11: 「その異様さは悲しい」ということは誤っていない fact12: もしこの更新が大人気無くないならばそれは説教出来る fact13: 「バーチャル・コミュニティであるということはない」物はある fact14: 「悲しくない」ものはある fact15: もしも何らかの物が悲しくないけれど再発し易いとすると「この更新は大人気無くない」ということは成り立つ fact16: その異様さはごちゃごちゃする fact17: この職人達は根強いしそれにそれは痒い fact18: もしもこの婦人公論は再発し易くないならば「それは悲しいしまたバーチャル・コミュニティだ」ということは成り立つということはない fact19: 悲しくてかつ再発し易い物はある ; $hypothesis$ = この更新は説教出来るしさらにバーチャル・コミュニティだ ; $proof$ = 
fact10 & fact15 -> int1: この更新は大人気無くない; int1 & fact12 -> int2: この更新は説教出来る; fact4 -> int3: その異様さはバーチャル・コミュニティだ; fact6 & int3 -> int4: この更新はバーチャル・コミュニティだ; int2 & int4 -> hypothesis; __PROVED__
事実1: この全体攻撃は大人気無い
事実2: 「「再発し易い」ということは成り立つ」物はある
事実3: この更新は再発し易い
事実4: その異様さがバーチャル・コミュニティだしそれにごちゃごちゃする
事実5: もし仮に「この婦人公論は再発し易い」ということは成り立つとしたらその異様さは悲しくない
事実6: もしもその異様さがバーチャル・コミュニティであるならばこの更新はバーチャル・コミュニティである
事実7: 仮に「その超然主義は大人気無い」ということは事実であるならば「この婦人公論は再発し易い」ということは事実だ
事実8: もし仮に「この更新は悲しくない」ということは事実だとすると真っ暗くないけど成され易い
事実9: もしその異様さが悲しくないならばこの更新は悲しくない
事実10: なんらかのものは悲しくないけど再発し易い
事実11: 「その異様さは悲しい」ということは誤っていない
事実12: もしこの更新が大人気無くないならばそれは説教出来る
事実13: 「バーチャル・コミュニティであるということはない」物はある
事実14: 「悲しくない」ものはある
事実15: もしも何らかの物が悲しくないけれど再発し易いとすると「この更新は大人気無くない」ということは成り立つ
事実16: その異様さはごちゃごちゃする
事実17: この職人達は根強いしそれにそれは痒い
事実18: もしもこの婦人公論は再発し易くないならば「それは悲しいしまたバーチャル・コミュニティだ」ということは成り立つということはない
事実19: 悲しくてかつ再発し易い物はある

仮説: この更新は説教出来るしさらにバーチャル・コミュニティだ
1. 事実10と事実15から、推論1: "この更新は大人気無くない"が導かれる
2. 推論1と事実12から、推論2: "この更新は説教出来る"が導かれる
3. 事実4から、推論3: "その異様さはバーチャル・コミュニティだ"が導かれる
4. 事実6と推論3から、推論4: "この更新はバーチャル・コミュニティだ"が導かれる
5. 推論2と推論4から、仮説が導かれる

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