あのユースは左クリックするかもしくはそれは遇する
fact1: もし仮に「「あのユースは扱い難くなくてまた効果有りでない」ということは間違いでない」ということは嘘だとしたら「効果有りである」ということは成り立つ fact2: もしなにがしかの物が起動出来ないがしかし効果有りであるならば輪郭だということはない fact3: あのＰＣカードは起動出来るということはないとすれば「それは達成すがしかし扱い難くない」ということは成り立たない fact4: この基本動作は左クリックするかもしくはそれは効果有りであるかもしくは両方である fact5: もし「あのＰＣカードは達成すが扱い難くない」ということは間違っているならあのユースは左クリックする fact6: この基本動作は扱い難いかまたは輪郭であるかもしくは両方である fact7: もしもあのユースは達成すなら「それは扱い難くないしかつ効果有りでない」ということは間違いだ fact8: あのＰＣカードは効果有りだ fact9: 「あのユースは達成す一方でそれは遇するということはない」ということは事実であるということはない fact10: もしもこの基本動作がうとうとしないとするとあのユースは起動出来ない fact11: 仮にあのＰＣカードは起動出来ないとしたら「それは達成すしおまけにそれは扱い難い」ということは事実と異なる fact12: あのＰＣカードは輪郭でない fact13: もしこの基本動作が輪郭でかつ効果有りだとしたらあのＰＣカードは起動出来るということはない fact14: もし仮に何かは輪郭でないならば「それは左クリックするか遇する」ということは誤りだ fact15: 「この基本動作は達成す」ということは事実ならあのＰＣカードは起動出来る fact16: この基本動作はブリーフであるかまたは痛ーいかあるいは両方である fact17: 「この基本動作は効果有りだ」ということは真実だ fact18: 何もかもはうとうとしなくてそれは差し出がましい fact19: この基本動作は輪郭である
fact19 & fact17 -> int1: この基本動作は輪郭で効果有りである; int1 & fact13 -> int2: あのＰＣカードは起動出来ない; int2 & fact3 -> int3: 「あのＰＣカードは達成す一方で扱い難くない」ということは偽である; int3 & fact5 -> int4: あのユースは左クリックする; int4 -> hypothesis;
「あのユースは左クリックするかまたは遇するかまたは両方ともである」ということは誤っている
fact22 -> int5: もしもあのユースは輪郭でないとすると「左クリックするかもしくは遇するかあるいは両方ともである」ということは成り立たない; fact23 -> int6: あのユースが起動出来ないけど効果有りであるとすると輪郭でない; fact20 -> int7: 「この基本動作はうとうとしないけれどそれは差し出がましい」ということは確かだ; int7 -> int8: この基本動作はうとうとしない; fact21 & int8 -> int9: あのユースは起動出来ない;
$facts$ = fact1: もし仮に「「あのユースは扱い難くなくてまた効果有りでない」ということは間違いでない」ということは嘘だとしたら「効果有りである」ということは成り立つ fact2: もしなにがしかの物が起動出来ないがしかし効果有りであるならば輪郭だということはない fact3: あのＰＣカードは起動出来るということはないとすれば「それは達成すがしかし扱い難くない」ということは成り立たない fact4: この基本動作は左クリックするかもしくはそれは効果有りであるかもしくは両方である fact5: もし「あのＰＣカードは達成すが扱い難くない」ということは間違っているならあのユースは左クリックする fact6: この基本動作は扱い難いかまたは輪郭であるかもしくは両方である fact7: もしもあのユースは達成すなら「それは扱い難くないしかつ効果有りでない」ということは間違いだ fact8: あのＰＣカードは効果有りだ fact9: 「あのユースは達成す一方でそれは遇するということはない」ということは事実であるということはない fact10: もしもこの基本動作がうとうとしないとするとあのユースは起動出来ない fact11: 仮にあのＰＣカードは起動出来ないとしたら「それは達成すしおまけにそれは扱い難い」ということは事実と異なる fact12: あのＰＣカードは輪郭でない fact13: もしこの基本動作が輪郭でかつ効果有りだとしたらあのＰＣカードは起動出来るということはない fact14: もし仮に何かは輪郭でないならば「それは左クリックするか遇する」ということは誤りだ fact15: 「この基本動作は達成す」ということは事実ならあのＰＣカードは起動出来る fact16: この基本動作はブリーフであるかまたは痛ーいかあるいは両方である fact17: 「この基本動作は効果有りだ」ということは真実だ fact18: 何もかもはうとうとしなくてそれは差し出がましい fact19: この基本動作は輪郭である ; $hypothesis$ = あのユースは左クリックするかもしくはそれは遇する ; $proof$ = 
fact19 & fact17 -> int1: この基本動作は輪郭で効果有りである; int1 & fact13 -> int2: あのＰＣカードは起動出来ない; int2 & fact3 -> int3: 「あのＰＣカードは達成す一方で扱い難くない」ということは偽である; int3 & fact5 -> int4: あのユースは左クリックする; int4 -> hypothesis; __PROVED__
事実1: もし仮に「「あのユースは扱い難くなくてまた効果有りでない」ということは間違いでない」ということは嘘だとしたら「効果有りである」ということは成り立つ
事実2: もしなにがしかの物が起動出来ないがしかし効果有りであるならば輪郭だということはない
事実3: あのＰＣカードは起動出来るということはないとすれば「それは達成すがしかし扱い難くない」ということは成り立たない
事実4: この基本動作は左クリックするかもしくはそれは効果有りであるかもしくは両方である
事実5: もし「あのＰＣカードは達成すが扱い難くない」ということは間違っているならあのユースは左クリックする
事実6: この基本動作は扱い難いかまたは輪郭であるかもしくは両方である
事実7: もしもあのユースは達成すなら「それは扱い難くないしかつ効果有りでない」ということは間違いだ
事実8: あのＰＣカードは効果有りだ
事実9: 「あのユースは達成す一方でそれは遇するということはない」ということは事実であるということはない
事実10: もしもこの基本動作がうとうとしないとするとあのユースは起動出来ない
事実11: 仮にあのＰＣカードは起動出来ないとしたら「それは達成すしおまけにそれは扱い難い」ということは事実と異なる
事実12: あのＰＣカードは輪郭でない
事実13: もしこの基本動作が輪郭でかつ効果有りだとしたらあのＰＣカードは起動出来るということはない
事実14: もし仮に何かは輪郭でないならば「それは左クリックするか遇する」ということは誤りだ
事実15: 「この基本動作は達成す」ということは事実ならあのＰＣカードは起動出来る
事実16: この基本動作はブリーフであるかまたは痛ーいかあるいは両方である
事実17: 「この基本動作は効果有りだ」ということは真実だ
事実18: 何もかもはうとうとしなくてそれは差し出がましい
事実19: この基本動作は輪郭である

仮説: あのユースは左クリックするかもしくはそれは遇する
1. 事実19と事実17から、推論1: "この基本動作は輪郭で効果有りである"が導かれる
2. 推論1と事実13から、推論2: "あのＰＣカードは起動出来ない"が導かれる
3. 推論2と事実3から、推論3: "「あのＰＣカードは達成す一方で扱い難くない」ということは偽である"が導かれる
4. 推論3と事実5から、推論4: "あのユースは左クリックする"が導かれる
5. 推論4から、仮説が導かれる

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