もしあの一センチメートル角がエステートでないならばあのＥＶＡは屈まないかあるいは分かち難くないかあるいは両方ともである
fact1: あの一センチメートル角はエステートでないとすれば「あのＥＶＡは上洛しないけれどチューリップだ」ということは偽である fact2: 仮にとある物はチューリップであるとしたら屈むということはない fact3: 「「あのＥＶＡは上洛しないがしかしチューリップである」ということは偽だ」ということは成り立つ fact4: もしあのＥＶＡはチューリップであるとしたら屈まない fact5: もしあの一センチメートル角がエステートでないならあのＥＶＡは屈まないかあるいは分かち難いか両方ともである fact6: もしも「あのＥＶＡは可愛らしい一方でそれは悪いということはない」ということは誤っているとしたらそれは図々しいということはない fact7: 「「なんらかの物は上洛しなくてしかもチューリップでない」ということは間違いでない」ということは誤りであるとしたらそれは屈む fact8: もし仮に「あのＥＶＡは上洛しなくてかつそれはチューリップだということはない」ということは間違いだとすればそれは屈む fact9: あのバーバラ・フルレインは分かち難い fact10: もし仮にあの一センチメートル角はエステートでないとしたら「あのＥＶＡは上洛しないしまたチューリップでない」ということは間違っている fact11: あの一センチメートル角がエステートだとするとあのＥＶＡは屈むということはないかあるいは分かち難くないかあるいは両方ともである fact12: 仮に「とあるものは上洛しないしおまけにチューリップだということはない」ということは誤りであるとしたら屈まない fact13: あのＥＶＡは屈むということはないかそれは分かち難いか両方だ
void -> assump1: 以下のように仮定する。あの一センチメートル角はエステートだということはない; fact10 & assump1 -> int1: 「あのＥＶＡは上洛しなくてそれにチューリップでない」ということは誤っている; fact12 -> int2: もし仮に「あのＥＶＡは上洛するということはないしその上チューリップでない」ということは間違いだとするとそれは屈むということはない; int1 & int2 -> int3: あのＥＶＡは屈まない; int3 -> int4: あのＥＶＡは屈むということはないかまたはそれは分かち難いということはないかもしくは両方だ; [assump1] & int4 -> hypothesis;
「その車好きは屈まない」ということは成り立つ
$facts$ = fact1: あの一センチメートル角はエステートでないとすれば「あのＥＶＡは上洛しないけれどチューリップだ」ということは偽である fact2: 仮にとある物はチューリップであるとしたら屈むということはない fact3: 「「あのＥＶＡは上洛しないがしかしチューリップである」ということは偽だ」ということは成り立つ fact4: もしあのＥＶＡはチューリップであるとしたら屈まない fact5: もしあの一センチメートル角がエステートでないならあのＥＶＡは屈まないかあるいは分かち難いか両方ともである fact6: もしも「あのＥＶＡは可愛らしい一方でそれは悪いということはない」ということは誤っているとしたらそれは図々しいということはない fact7: 「「なんらかの物は上洛しなくてしかもチューリップでない」ということは間違いでない」ということは誤りであるとしたらそれは屈む fact8: もし仮に「あのＥＶＡは上洛しなくてかつそれはチューリップだということはない」ということは間違いだとすればそれは屈む fact9: あのバーバラ・フルレインは分かち難い fact10: もし仮にあの一センチメートル角はエステートでないとしたら「あのＥＶＡは上洛しないしまたチューリップでない」ということは間違っている fact11: あの一センチメートル角がエステートだとするとあのＥＶＡは屈むということはないかあるいは分かち難くないかあるいは両方ともである fact12: 仮に「とあるものは上洛しないしおまけにチューリップだということはない」ということは誤りであるとしたら屈まない fact13: あのＥＶＡは屈むということはないかそれは分かち難いか両方だ ; $hypothesis$ = もしあの一センチメートル角がエステートでないならばあのＥＶＡは屈まないかあるいは分かち難くないかあるいは両方ともである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの一センチメートル角はエステートだということはない; fact10 & assump1 -> int1: 「あのＥＶＡは上洛しなくてそれにチューリップでない」ということは誤っている; fact12 -> int2: もし仮に「あのＥＶＡは上洛するということはないしその上チューリップでない」ということは間違いだとするとそれは屈むということはない; int1 & int2 -> int3: あのＥＶＡは屈まない; int3 -> int4: あのＥＶＡは屈むということはないかまたはそれは分かち難いということはないかもしくは両方だ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: あの一センチメートル角はエステートでないとすれば「あのＥＶＡは上洛しないけれどチューリップだ」ということは偽である
事実2: 仮にとある物はチューリップであるとしたら屈むということはない
事実3: 「「あのＥＶＡは上洛しないがしかしチューリップである」ということは偽だ」ということは成り立つ
事実4: もしあのＥＶＡはチューリップであるとしたら屈まない
事実5: もしあの一センチメートル角がエステートでないならあのＥＶＡは屈まないかあるいは分かち難いか両方ともである
事実6: もしも「あのＥＶＡは可愛らしい一方でそれは悪いということはない」ということは誤っているとしたらそれは図々しいということはない
事実7: 「「なんらかの物は上洛しなくてしかもチューリップでない」ということは間違いでない」ということは誤りであるとしたらそれは屈む
事実8: もし仮に「あのＥＶＡは上洛しなくてかつそれはチューリップだということはない」ということは間違いだとすればそれは屈む
事実9: あのバーバラ・フルレインは分かち難い
事実10: もし仮にあの一センチメートル角はエステートでないとしたら「あのＥＶＡは上洛しないしまたチューリップでない」ということは間違っている
事実11: あの一センチメートル角がエステートだとするとあのＥＶＡは屈むということはないかあるいは分かち難くないかあるいは両方ともである
事実12: 仮に「とあるものは上洛しないしおまけにチューリップだということはない」ということは誤りであるとしたら屈まない
事実13: あのＥＶＡは屈むということはないかそれは分かち難いか両方だ

仮説: もしあの一センチメートル角がエステートでないならばあのＥＶＡは屈まないかあるいは分かち難くないかあるいは両方ともである
1. 仮定1: 以下のように仮定する。あの一センチメートル角はエステートだということはない
2. 事実10と仮定1から、推論1: "「あのＥＶＡは上洛しなくてそれにチューリップでない」ということは誤っている"が導かれる
3. 事実12から、推論2: "もし仮に「あのＥＶＡは上洛するということはないしその上チューリップでない」ということは間違いだとするとそれは屈むということはない"が導かれる
4. 推論1と推論2から、推論3: "あのＥＶＡは屈まない"が導かれる
5. 推論3から、推論4: "あのＥＶＡは屈むということはないかまたはそれは分かち難いということはないかもしくは両方だ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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