あのかまくらはサーバー側だ
fact1: 「湿っぽくない」物はある fact2: もし「何かは表立つけどコロニー数でない」ということは事実でないとすると流され易くない fact3: もしも何らかの物がサーバー側なら敬遠する fact4: もしも「相対化する一方で敬遠しない」ものがあるとするとあのかまくらはサーバー側である fact5: 仮にこのローカル・ポーターは後ろめたいとすると「それは表立つ一方でコロニー数でない」ということは誤っている fact6: この当該処分は相対化するけどサーバー側でない fact7: もしこのローカル・ポーターが流され易くないとするとこの閲覧謄写権は女性らしいしさらにそれは複製する fact8: この当該処分は相対化するけど敬遠しない fact9: あのかまくらは敬遠する fact10: 「サーバー側であるし敬遠しない」物があるとしたらこの当該処分は相対化する fact11: 女性らしくない物が流され易いなら複製しない fact12: もしこの閲覧謄写権が複製するとすればそのモットリングはサーバー側だ fact13: 「「敬遠する」ということは誤っている」ものはある fact14: そのモットリングは複製しないならば「あのかまくらは敬遠するがしかし相対化するということはない」ということは嘘である fact15: 「そのモットリングは敬遠する」ということは事実であるとしたらあのかまくらは敬遠する fact16: 「あのかまくらは相対化する」ということは確かである fact17: 仮にとある物が敬遠するとすると相対化するけれど宙吊りでない fact18: この当該処分は取れ難い fact19: 「サーバー側でない」物はある
fact8 -> int1: とある物は相対化するがそれは敬遠しない; int1 & fact4 -> hypothesis;
fact8 -> int1: (Ex): ({A}x & ¬{B}x); int1 & fact4 -> hypothesis;
あのかまくらはサーバー側でない
fact20 -> int2: そのモットリングは女性らしくない一方で流され易いなら複製するということはない;
$facts$ = fact1: 「湿っぽくない」物はある fact2: もし「何かは表立つけどコロニー数でない」ということは事実でないとすると流され易くない fact3: もしも何らかの物がサーバー側なら敬遠する fact4: もしも「相対化する一方で敬遠しない」ものがあるとするとあのかまくらはサーバー側である fact5: 仮にこのローカル・ポーターは後ろめたいとすると「それは表立つ一方でコロニー数でない」ということは誤っている fact6: この当該処分は相対化するけどサーバー側でない fact7: もしこのローカル・ポーターが流され易くないとするとこの閲覧謄写権は女性らしいしさらにそれは複製する fact8: この当該処分は相対化するけど敬遠しない fact9: あのかまくらは敬遠する fact10: 「サーバー側であるし敬遠しない」物があるとしたらこの当該処分は相対化する fact11: 女性らしくない物が流され易いなら複製しない fact12: もしこの閲覧謄写権が複製するとすればそのモットリングはサーバー側だ fact13: 「「敬遠する」ということは誤っている」ものはある fact14: そのモットリングは複製しないならば「あのかまくらは敬遠するがしかし相対化するということはない」ということは嘘である fact15: 「そのモットリングは敬遠する」ということは事実であるとしたらあのかまくらは敬遠する fact16: 「あのかまくらは相対化する」ということは確かである fact17: 仮にとある物が敬遠するとすると相対化するけれど宙吊りでない fact18: この当該処分は取れ難い fact19: 「サーバー側でない」物はある ; $hypothesis$ = あのかまくらはサーバー側だ ; $proof$ = 
fact8 -> int1: とある物は相対化するがそれは敬遠しない; int1 & fact4 -> hypothesis; __PROVED__
事実1: 「湿っぽくない」物はある
事実2: もし「何かは表立つけどコロニー数でない」ということは事実でないとすると流され易くない
事実3: もしも何らかの物がサーバー側なら敬遠する
事実4: もしも「相対化する一方で敬遠しない」ものがあるとするとあのかまくらはサーバー側である
事実5: 仮にこのローカル・ポーターは後ろめたいとすると「それは表立つ一方でコロニー数でない」ということは誤っている
事実6: この当該処分は相対化するけどサーバー側でない
事実7: もしこのローカル・ポーターが流され易くないとするとこの閲覧謄写権は女性らしいしさらにそれは複製する
事実8: この当該処分は相対化するけど敬遠しない
事実9: あのかまくらは敬遠する
事実10: 「サーバー側であるし敬遠しない」物があるとしたらこの当該処分は相対化する
事実11: 女性らしくない物が流され易いなら複製しない
事実12: もしこの閲覧謄写権が複製するとすればそのモットリングはサーバー側だ
事実13: 「「敬遠する」ということは誤っている」ものはある
事実14: そのモットリングは複製しないならば「あのかまくらは敬遠するがしかし相対化するということはない」ということは嘘である
事実15: 「そのモットリングは敬遠する」ということは事実であるとしたらあのかまくらは敬遠する
事実16: 「あのかまくらは相対化する」ということは確かである
事実17: 仮にとある物が敬遠するとすると相対化するけれど宙吊りでない
事実18: この当該処分は取れ難い
事実19: 「サーバー側でない」物はある

仮説: あのかまくらはサーバー側だ
1. 事実8から、推論1: "とある物は相対化するがそれは敬遠しない"が導かれる
2. 推論1と事実4から、仮説が導かれる

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