「あのジョイスティックは実質化しない」ということは正しい
fact1: 知覚しないかあるいは好ましいという物はない fact2: あの捧げ物は実質化する fact3: 弱しないものは御偉いしその上惨たらしい fact4: あの捧げ物は面映ゆかない fact5: 御偉い物は判決す fact6: 「あのジョイスティックは正解図であるかまたは実質化するかあるいは両方である」ということは偽だとするとあの捧げ物はずっとするということはない fact7: 「あの捧げ物は正解図でないかあるいはずっとするかあるいは両方ともである」ということは誤っているならばあのジョイスティックは実質化するということはない fact8: もしあの来春が収得ならばあのジョイスティックは実質化する fact9: 「あの捧げ物はずっとするかもしくは実質化するかもしくは両方ともだ」ということは嘘ならあのジョイスティックは正解図でない fact10: あのジョイスティックはずっとするということはない fact11: その発声発語器官検査は実質化しない fact12: もし仮に「あの捧げ物は実質化しないかあるいは正解図であるかもしくは両方だ」ということは成り立つということはないとすればあのジョイスティックはずっとしない fact13: なんらかのものは実質化するとすれば「甘くないかあるいは各締約国であるかあるいは両方ともである」ということは嘘だ fact14: もしもなにかは判決すならそれは広くないしその上それは収得である fact15: それは正解図でないかずっとするというものはない fact16: 上がり難くないかまたは切り離し難い物はない fact17: あらゆるものは編み進める fact18: もしも「あの捧げ物は実質化するかあるいはそれはずっとするかあるいは両方である」ということは成り立つということはないとすればあのジョイスティックは正解図でない fact19: あの捧げ物は落葉しない fact20: あの捧げ物は投下する fact21: あのジョイスティックは巻末でない fact22: あの捧げ物は工業化する
fact15 -> int1: 「あの捧げ物は正解図でないかまたはそれはずっとする」ということは間違っている; int1 & fact7 -> hypothesis;
fact15 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact7 -> hypothesis;
あのジョイスティックは実質化する
fact23 -> int2: もしあの来春が判決すとすると広くないし収得だ; fact26 -> int3: あの来春が御偉いとするとそれは判決す; fact24 -> 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 -> int1: 「あの捧げ物は正解図でないかまたはそれはずっとする」ということは間違っている; int1 & fact7 -> hypothesis; __PROVED__
事実1: 知覚しないかあるいは好ましいという物はない
事実2: あの捧げ物は実質化する
事実3: 弱しないものは御偉いしその上惨たらしい
事実4: あの捧げ物は面映ゆかない
事実5: 御偉い物は判決す
事実6: 「あのジョイスティックは正解図であるかまたは実質化するかあるいは両方である」ということは偽だとするとあの捧げ物はずっとするということはない
事実7: 「あの捧げ物は正解図でないかあるいはずっとするかあるいは両方ともである」ということは誤っているならばあのジョイスティックは実質化するということはない
事実8: もしあの来春が収得ならばあのジョイスティックは実質化する
事実9: 「あの捧げ物はずっとするかもしくは実質化するかもしくは両方ともだ」ということは嘘ならあのジョイスティックは正解図でない
事実10: あのジョイスティックはずっとするということはない
事実11: その発声発語器官検査は実質化しない
事実12: もし仮に「あの捧げ物は実質化しないかあるいは正解図であるかもしくは両方だ」ということは成り立つということはないとすればあのジョイスティックはずっとしない
事実13: なんらかのものは実質化するとすれば「甘くないかあるいは各締約国であるかあるいは両方ともである」ということは嘘だ
事実14: もしもなにかは判決すならそれは広くないしその上それは収得である
事実15: それは正解図でないかずっとするというものはない
事実16: 上がり難くないかまたは切り離し難い物はない
事実17: あらゆるものは編み進める
事実18: もしも「あの捧げ物は実質化するかあるいはそれはずっとするかあるいは両方である」ということは成り立つということはないとすればあのジョイスティックは正解図でない
事実19: あの捧げ物は落葉しない
事実20: あの捧げ物は投下する
事実21: あのジョイスティックは巻末でない
事実22: あの捧げ物は工業化する

仮説: 「あのジョイスティックは実質化しない」ということは正しい
1. 事実15から、推論1: "「あの捧げ物は正解図でないかまたはそれはずっとする」ということは間違っている"が導かれる
2. 推論1と事実7から、仮説が導かれる

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