この彗星は物欲しい
fact1: もしも「その肺化膿症は話し辛いか安しかもしくは両方ともだ」ということは誤っているとしたら「それは御偉い」ということは事実でない fact2: もし「何らかの物は嘆かわしいが物欲しいということはない」ということは成り立たないとすれば物欲しい fact3: この彗星は勝ち易い fact4: その肺化膿症は嘆かわしいが建国しない fact5: もしもその肺化膿症は齎し得ないならば「それは話し辛いかもしくは安しか両方だ」ということは間違いだ fact6: もし仮に「その肺化膿症は勝ち易い」ということは成り立つなら「「この彗星は嘆かわしいけど物欲しかない」ということは成り立つということはない」ということは事実である fact7: 御偉くない物はなぐり書きでなくてその上三島自身でない fact8: 「物欲しい」物はある fact9: 仮に何かは埋設しなくてかつそれが建国しないとすれば勝ち易い fact10: もし仮に物欲しい物が勝ち易いならその肺化膿症は嘆かわしくない fact11: 「「躊躇でなくて更に埋設する」ということは間違いである」ものはある fact12: 仮にある物がなぐり書きでないし三島自身でないならそれは建国しない
void -> assump1: 以下のように仮定する。この彗星は物欲しい; assump1 & fact3 -> int1: この彗星は物欲しくてかつそれは勝ち易い; int1 -> int2: 何かは物欲しいし加えて勝ち易い; int2 & fact10 -> int3: その肺化膿症は嘆かわしくない; fact4 -> int4: その肺化膿症は嘆かわしい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この彗星は物欲しい
fact16 -> int6: 「この彗星は嘆かわしいがしかし物欲しかない」ということは誤りであるとするとそれは物欲しい; fact15 -> int7: 仮にその肺化膿症が埋設しないしそれが建国しないならそれは勝ち易い; fact18 -> int8: もしもその肺化膿症はなぐり書きでなくて三島自身であるということはないなら建国しない; fact20 -> int9: もしその肺化膿症は御偉くないとすれば「それはなぐり書きでないしおまけに三島自身だということはない」ということは成り立つ;
$facts$ = fact1: もしも「その肺化膿症は話し辛いか安しかもしくは両方ともだ」ということは誤っているとしたら「それは御偉い」ということは事実でない fact2: もし「何らかの物は嘆かわしいが物欲しいということはない」ということは成り立たないとすれば物欲しい fact3: この彗星は勝ち易い fact4: その肺化膿症は嘆かわしいが建国しない fact5: もしもその肺化膿症は齎し得ないならば「それは話し辛いかもしくは安しか両方だ」ということは間違いだ fact6: もし仮に「その肺化膿症は勝ち易い」ということは成り立つなら「「この彗星は嘆かわしいけど物欲しかない」ということは成り立つということはない」ということは事実である fact7: 御偉くない物はなぐり書きでなくてその上三島自身でない fact8: 「物欲しい」物はある fact9: 仮に何かは埋設しなくてかつそれが建国しないとすれば勝ち易い fact10: もし仮に物欲しい物が勝ち易いならその肺化膿症は嘆かわしくない fact11: 「「躊躇でなくて更に埋設する」ということは間違いである」ものはある fact12: 仮にある物がなぐり書きでないし三島自身でないならそれは建国しない ; $hypothesis$ = この彗星は物欲しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この彗星は物欲しい; assump1 & fact3 -> int1: この彗星は物欲しくてかつそれは勝ち易い; int1 -> int2: 何かは物欲しいし加えて勝ち易い; int2 & fact10 -> int3: その肺化膿症は嘆かわしくない; fact4 -> int4: その肺化膿症は嘆かわしい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしも「その肺化膿症は話し辛いか安しかもしくは両方ともだ」ということは誤っているとしたら「それは御偉い」ということは事実でない
事実2: もし「何らかの物は嘆かわしいが物欲しいということはない」ということは成り立たないとすれば物欲しい
事実3: この彗星は勝ち易い
事実4: その肺化膿症は嘆かわしいが建国しない
事実5: もしもその肺化膿症は齎し得ないならば「それは話し辛いかもしくは安しか両方だ」ということは間違いだ
事実6: もし仮に「その肺化膿症は勝ち易い」ということは成り立つなら「「この彗星は嘆かわしいけど物欲しかない」ということは成り立つということはない」ということは事実である
事実7: 御偉くない物はなぐり書きでなくてその上三島自身でない
事実8: 「物欲しい」物はある
事実9: 仮に何かは埋設しなくてかつそれが建国しないとすれば勝ち易い
事実10: もし仮に物欲しい物が勝ち易いならその肺化膿症は嘆かわしくない
事実11: 「「躊躇でなくて更に埋設する」ということは間違いである」ものはある
事実12: 仮にある物がなぐり書きでないし三島自身でないならそれは建国しない

仮説: この彗星は物欲しい
1. 仮定1: 以下のように仮定する。この彗星は物欲しい
2. 仮定1と事実3から、推論1: "この彗星は物欲しくてかつそれは勝ち易い"が導かれる
3. 推論1から、推論2: "何かは物欲しいし加えて勝ち易い"が導かれる
4. 推論2と事実10から、推論3: "その肺化膿症は嘆かわしくない"が導かれる
5. 事実4から、推論4: "その肺化膿症は嘆かわしい"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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