あのキャッシュカードは生息出来るけれど付帯条件であるということはない
fact1: 「あのキャッシュカードは生息出来るし付帯条件だ」ということは間違いだ fact2: もし仮にとある物は得易くないかまたは付帯条件でないかあるいは両方であるとすればそれは生息出来る fact3: 出易い物は生息出来るけど付帯条件でない fact4: この造成業者が貰えないかもしくは御貸し下さらないかあるいはどちらもだとすれば出易い fact5: もしこの造成業者が非難がましくらないとしたらそれは出易い fact6: なんらかのものが非難がましくらないとしたら割り算する fact7: この造成業者が得易いということはないとしたらその自己抗体が非難はましくらないかあるいはそれは出易い fact8: 仮にその自己抗体が割り算しないとすればあの造成業者は得易くないかもしくは出易い fact9: その自己抗体はカントンだ fact10: 仮にその自己抗体は付帯条件であるとすると「この造成業者は非難がましいしさらに出易い」ということは偽だ fact11: 「もしこの造成業者は生息出来るとしたら「あのキャッシュカードは付帯条件だししかも出易い」ということは成り立たない」ということは誤りだということはない fact12: もし仮にこの造成業者が出易くないならばそれは割り算する fact13: この造成業者は事らしいなら「「それは出易くなくてそれは割り算しない」ということは嘘でない」ということは正しくない fact14: その自己抗体は得易くないかまたは非難がましいかもしくは両方ともだ fact15: もしこの造成業者が出易くないとするとその自己抗体が得易くないかまたはそれが非難はましくらないか両方ともである fact16: 得易くないかあるいは非難がましくらないかまたはどちらもな物は割り算する fact17: この造成業者は出易いということはない fact18: もし仮にその自己抗体は割り算するとしたら「あのキャッシュカードは生息出来るけどそれは付帯条件でない」ということは成り立たない fact19: その自己抗体は自治体経営でない fact20: もし仮にその自己抗体は付帯条件なら「あのキャッシュカードは得易くてまた出易い」ということは誤りである fact21: もしもあのキャッシュカードが出易くないならその自己抗体が付帯条件でないかもしくはそれが非難はましくらないかもしくはどちらもだ fact22: もしその自己抗体は割り算するとしたら「あのキャッシュカードは生息出来るし加えて非難がましい」ということは嘘だ
fact15 & fact17 -> int1: 「その自己抗体が得易くないかそれが非難はましくらない」ということは成り立つ; fact16 -> int2: その自己抗体が得易くないかあるいは非難がましいということはないかまたは両方ともであるなら割り算する; int1 & int2 -> int3: その自己抗体は割り算する; int3 & fact18 -> hypothesis;
あのキャッシュカードは生息出来るが付帯条件でない
fact25 -> int4: もし仮にあのキャッシュカードが出易いならばそれは生息出来るし更に付帯条件でない;
$facts$ = fact1: 「あのキャッシュカードは生息出来るし付帯条件だ」ということは間違いだ fact2: もし仮にとある物は得易くないかまたは付帯条件でないかあるいは両方であるとすればそれは生息出来る fact3: 出易い物は生息出来るけど付帯条件でない fact4: この造成業者が貰えないかもしくは御貸し下さらないかあるいはどちらもだとすれば出易い fact5: もしこの造成業者が非難がましくらないとしたらそれは出易い fact6: なんらかのものが非難がましくらないとしたら割り算する fact7: この造成業者が得易いということはないとしたらその自己抗体が非難はましくらないかあるいはそれは出易い fact8: 仮にその自己抗体が割り算しないとすればあの造成業者は得易くないかもしくは出易い fact9: その自己抗体はカントンだ fact10: 仮にその自己抗体は付帯条件であるとすると「この造成業者は非難がましいしさらに出易い」ということは偽だ fact11: 「もしこの造成業者は生息出来るとしたら「あのキャッシュカードは付帯条件だししかも出易い」ということは成り立たない」ということは誤りだということはない fact12: もし仮にこの造成業者が出易くないならばそれは割り算する fact13: この造成業者は事らしいなら「「それは出易くなくてそれは割り算しない」ということは嘘でない」ということは正しくない fact14: その自己抗体は得易くないかまたは非難がましいかもしくは両方ともだ fact15: もしこの造成業者が出易くないとするとその自己抗体が得易くないかまたはそれが非難はましくらないか両方ともである fact16: 得易くないかあるいは非難がましくらないかまたはどちらもな物は割り算する fact17: この造成業者は出易いということはない fact18: もし仮にその自己抗体は割り算するとしたら「あのキャッシュカードは生息出来るけどそれは付帯条件でない」ということは成り立たない fact19: その自己抗体は自治体経営でない fact20: もし仮にその自己抗体は付帯条件なら「あのキャッシュカードは得易くてまた出易い」ということは誤りである fact21: もしもあのキャッシュカードが出易くないならその自己抗体が付帯条件でないかもしくはそれが非難はましくらないかもしくはどちらもだ fact22: もしその自己抗体は割り算するとしたら「あのキャッシュカードは生息出来るし加えて非難がましい」ということは嘘だ ; $hypothesis$ = あのキャッシュカードは生息出来るけれど付帯条件であるということはない ; $proof$ = 
fact15 & fact17 -> int1: 「その自己抗体が得易くないかそれが非難はましくらない」ということは成り立つ; fact16 -> int2: その自己抗体が得易くないかあるいは非難がましいということはないかまたは両方ともであるなら割り算する; int1 & int2 -> int3: その自己抗体は割り算する; int3 & fact18 -> hypothesis; __DISPROVED__
事実1: 「あのキャッシュカードは生息出来るし付帯条件だ」ということは間違いだ
事実2: もし仮にとある物は得易くないかまたは付帯条件でないかあるいは両方であるとすればそれは生息出来る
事実3: 出易い物は生息出来るけど付帯条件でない
事実4: この造成業者が貰えないかもしくは御貸し下さらないかあるいはどちらもだとすれば出易い
事実5: もしこの造成業者が非難がましくらないとしたらそれは出易い
事実6: なんらかのものが非難がましくらないとしたら割り算する
事実7: この造成業者が得易いということはないとしたらその自己抗体が非難はましくらないかあるいはそれは出易い
事実8: 仮にその自己抗体が割り算しないとすればあの造成業者は得易くないかもしくは出易い
事実9: その自己抗体はカントンだ
事実10: 仮にその自己抗体は付帯条件であるとすると「この造成業者は非難がましいしさらに出易い」ということは偽だ
事実11: 「もしこの造成業者は生息出来るとしたら「あのキャッシュカードは付帯条件だししかも出易い」ということは成り立たない」ということは誤りだということはない
事実12: もし仮にこの造成業者が出易くないならばそれは割り算する
事実13: この造成業者は事らしいなら「「それは出易くなくてそれは割り算しない」ということは嘘でない」ということは正しくない
事実14: その自己抗体は得易くないかまたは非難がましいかもしくは両方ともだ
事実15: もしこの造成業者が出易くないとするとその自己抗体が得易くないかまたはそれが非難はましくらないか両方ともである
事実16: 得易くないかあるいは非難がましくらないかまたはどちらもな物は割り算する
事実17: この造成業者は出易いということはない
事実18: もし仮にその自己抗体は割り算するとしたら「あのキャッシュカードは生息出来るけどそれは付帯条件でない」ということは成り立たない
事実19: その自己抗体は自治体経営でない
事実20: もし仮にその自己抗体は付帯条件なら「あのキャッシュカードは得易くてまた出易い」ということは誤りである
事実21: もしもあのキャッシュカードが出易くないならその自己抗体が付帯条件でないかもしくはそれが非難はましくらないかもしくはどちらもだ
事実22: もしその自己抗体は割り算するとしたら「あのキャッシュカードは生息出来るし加えて非難がましい」ということは嘘だ

仮説: あのキャッシュカードは生息出来るけれど付帯条件であるということはない
1. 事実15と事実17から、推論1: "「その自己抗体が得易くないかそれが非難はましくらない」ということは成り立つ"が導かれる
2. 事実16から、推論2: "その自己抗体が得易くないかあるいは非難がましいということはないかまたは両方ともであるなら割り算する"が導かれる
3. 推論1と推論2から、推論3: "その自己抗体は割り算する"が導かれる
4. 推論3と事実18から、仮説が否定される

よって、仮説が否定されました。