この焼き直しは服す
fact1: もし仮にその図形が望火楼ならこの銀製は投げ捨てる fact2: 仮にこの企画展示室が収益計上するけれど投げ捨てないとすればこの焼き直しは服さない fact3: 仮にその図形は収益計上しないなら「それは投げ捨てないしまたそれはめんどくない」ということは間違いだ fact4: その透析法は誕生する fact5: 仮にこの銀製は十七章でないとしたら「それは賑々しいしそれにそれは群がる」ということは成り立たない fact6: 何かは吝いということはなくてまた誕生するということはないとすれば服さない fact7: もし仮にこの銀製が投げ捨てるとすればあの企画展示室は収益計上するがしかし投げ捨てない fact8: 仮にその図形が吝いなら望火楼だ fact9: 仮にそのインターネット電話は投げ捨てるとすると「このプログラム言語は望火楼だ」ということは本当だ fact10: そのインターネット電話は誕生する fact11: 仮に「その図形は投げ捨てないしそれにめんどくない」ということは間違いだとすれば「そのインターネット電話は投げ捨てる」ということは成り立つ fact12: この焼き直しは吝い fact13: 仮にそのインターネット電話が誕生すればその図形は吝い
fact13 & fact10 -> int1: その図形は吝い; int1 & fact8 -> int2: その図形は望火楼だ; int2 & fact1 -> int3: この銀製は投げ捨てる; int3 & fact7 -> int4: この企画展示室は収益計上するけどそれは投げ捨てない; int4 & fact2 -> hypothesis;
「このプログラム言語は服さない」ということは正しい
fact16 -> int5: 仮にこのプログラム言語は吝くないしそれに誕生するということはないとしたら服さない;
$facts$ = fact1: もし仮にその図形が望火楼ならこの銀製は投げ捨てる fact2: 仮にこの企画展示室が収益計上するけれど投げ捨てないとすればこの焼き直しは服さない fact3: 仮にその図形は収益計上しないなら「それは投げ捨てないしまたそれはめんどくない」ということは間違いだ fact4: その透析法は誕生する fact5: 仮にこの銀製は十七章でないとしたら「それは賑々しいしそれにそれは群がる」ということは成り立たない fact6: 何かは吝いということはなくてまた誕生するということはないとすれば服さない fact7: もし仮にこの銀製が投げ捨てるとすればあの企画展示室は収益計上するがしかし投げ捨てない fact8: 仮にその図形が吝いなら望火楼だ fact9: 仮にそのインターネット電話は投げ捨てるとすると「このプログラム言語は望火楼だ」ということは本当だ fact10: そのインターネット電話は誕生する fact11: 仮に「その図形は投げ捨てないしそれにめんどくない」ということは間違いだとすれば「そのインターネット電話は投げ捨てる」ということは成り立つ fact12: この焼き直しは吝い fact13: 仮にそのインターネット電話が誕生すればその図形は吝い ; $hypothesis$ = この焼き直しは服す ; $proof$ = 
fact13 & fact10 -> int1: その図形は吝い; int1 & fact8 -> int2: その図形は望火楼だ; int2 & fact1 -> int3: この銀製は投げ捨てる; int3 & fact7 -> int4: この企画展示室は収益計上するけどそれは投げ捨てない; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にその図形が望火楼ならこの銀製は投げ捨てる
事実2: 仮にこの企画展示室が収益計上するけれど投げ捨てないとすればこの焼き直しは服さない
事実3: 仮にその図形は収益計上しないなら「それは投げ捨てないしまたそれはめんどくない」ということは間違いだ
事実4: その透析法は誕生する
事実5: 仮にこの銀製は十七章でないとしたら「それは賑々しいしそれにそれは群がる」ということは成り立たない
事実6: 何かは吝いということはなくてまた誕生するということはないとすれば服さない
事実7: もし仮にこの銀製が投げ捨てるとすればあの企画展示室は収益計上するがしかし投げ捨てない
事実8: 仮にその図形が吝いなら望火楼だ
事実9: 仮にそのインターネット電話は投げ捨てるとすると「このプログラム言語は望火楼だ」ということは本当だ
事実10: そのインターネット電話は誕生する
事実11: 仮に「その図形は投げ捨てないしそれにめんどくない」ということは間違いだとすれば「そのインターネット電話は投げ捨てる」ということは成り立つ
事実12: この焼き直しは吝い
事実13: 仮にそのインターネット電話が誕生すればその図形は吝い

仮説: この焼き直しは服す
1. 事実13と事実10から、推論1: "その図形は吝い"が導かれる
2. 推論1と事実8から、推論2: "その図形は望火楼だ"が導かれる
3. 推論2と事実1から、推論3: "この銀製は投げ捨てる"が導かれる
4. 推論3と事実7から、推論4: "この企画展示室は収益計上するけどそれは投げ捨てない"が導かれる
5. 推論4と事実2から、仮説が否定される

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