その接触は一稼ぎする
fact1: 「その接触は一稼ぎしないけれど拡大し過ぎる」ということは嘘である fact2: 「もしも「「有効活用しなくて加えて拡大し過ぎる」ということは誤りである」物があるとしたらあのエキサイトは一稼ぎする」ということは成り立つ fact3: もし仮にその接触が書き易くないとすればそれが作成処理だしログオン出来る fact4: なにかは拡大し過ぎるということはない一方で有効活用する fact5: 「その接触は作成処理である」ということは正しいならば「あのエキサイトは作成処理である」ということは真実である fact6: 「その接触は狙い難い」ということは成り立つ fact7: 「「拡大し過ぎるし有効活用する」ということは成り立たない」物はある fact8: もし何らかのものが作成処理であるかまたはログオン出来ないとしたらそれは一稼ぎしない fact9: 「あのエキサイトは拡大し過ぎないが有効活用する」ということは嘘である fact10: 仮に「拡大し過ぎる」物があるとするとその接触は一稼ぎする fact11: もしなにかは作成処理であるとすると「一稼ぎしなくてその上それは教令である」ということは嘘だ fact12: もし「「拡大し過ぎなくて有効活用する」ということは成り立たない」物があるとするとその接触は一稼ぎする fact13: 「「拡大し過ぎないがしかし一稼ぎする」ということは間違っている」物があるならその接触は有効活用する
fact9 -> int1: 「「拡大し過ぎない一方で有効活用する」ということは偽である」物はある; int1 & fact12 -> hypothesis;
fact9 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact12 -> hypothesis;
その接触は一稼ぎしない
fact14 -> int2: 仮にその接触は作成処理であるかあるいはログオン出来ないかあるいは両方ともであるならば一稼ぎしない;
$facts$ = fact1: 「その接触は一稼ぎしないけれど拡大し過ぎる」ということは嘘である fact2: 「もしも「「有効活用しなくて加えて拡大し過ぎる」ということは誤りである」物があるとしたらあのエキサイトは一稼ぎする」ということは成り立つ fact3: もし仮にその接触が書き易くないとすればそれが作成処理だしログオン出来る fact4: なにかは拡大し過ぎるということはない一方で有効活用する fact5: 「その接触は作成処理である」ということは正しいならば「あのエキサイトは作成処理である」ということは真実である fact6: 「その接触は狙い難い」ということは成り立つ fact7: 「「拡大し過ぎるし有効活用する」ということは成り立たない」物はある fact8: もし何らかのものが作成処理であるかまたはログオン出来ないとしたらそれは一稼ぎしない fact9: 「あのエキサイトは拡大し過ぎないが有効活用する」ということは嘘である fact10: 仮に「拡大し過ぎる」物があるとするとその接触は一稼ぎする fact11: もしなにかは作成処理であるとすると「一稼ぎしなくてその上それは教令である」ということは嘘だ fact12: もし「「拡大し過ぎなくて有効活用する」ということは成り立たない」物があるとするとその接触は一稼ぎする fact13: 「「拡大し過ぎないがしかし一稼ぎする」ということは間違っている」物があるならその接触は有効活用する ; $hypothesis$ = その接触は一稼ぎする ; $proof$ = 
fact9 -> int1: 「「拡大し過ぎない一方で有効活用する」ということは偽である」物はある; int1 & fact12 -> hypothesis; __PROVED__
事実1: 「その接触は一稼ぎしないけれど拡大し過ぎる」ということは嘘である
事実2: 「もしも「「有効活用しなくて加えて拡大し過ぎる」ということは誤りである」物があるとしたらあのエキサイトは一稼ぎする」ということは成り立つ
事実3: もし仮にその接触が書き易くないとすればそれが作成処理だしログオン出来る
事実4: なにかは拡大し過ぎるということはない一方で有効活用する
事実5: 「その接触は作成処理である」ということは正しいならば「あのエキサイトは作成処理である」ということは真実である
事実6: 「その接触は狙い難い」ということは成り立つ
事実7: 「「拡大し過ぎるし有効活用する」ということは成り立たない」物はある
事実8: もし何らかのものが作成処理であるかまたはログオン出来ないとしたらそれは一稼ぎしない
事実9: 「あのエキサイトは拡大し過ぎないが有効活用する」ということは嘘である
事実10: 仮に「拡大し過ぎる」物があるとするとその接触は一稼ぎする
事実11: もしなにかは作成処理であるとすると「一稼ぎしなくてその上それは教令である」ということは嘘だ
事実12: もし「「拡大し過ぎなくて有効活用する」ということは成り立たない」物があるとするとその接触は一稼ぎする
事実13: 「「拡大し過ぎないがしかし一稼ぎする」ということは間違っている」物があるならその接触は有効活用する

仮説: その接触は一稼ぎする
1. 事実9から、推論1: "「「拡大し過ぎない一方で有効活用する」ということは偽である」物はある"が導かれる
2. 推論1と事実12から、仮説が導かれる

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