「あの首都移転は五百万円以上であるしまたすこい」ということは確かでない
fact1: もし仮にその作物栽培が吊り易くないならばあの首都移転は五百万円以上であるしボロネーゼである fact2: あの消防施設が気忙しいとするとその作物栽培は気忙しい fact3: もしも何かは吊り易くないとすると「五百万円以上だししかもすこい」ということは間違いである fact4: もし仮にその作物栽培が吊り易くないし加えてそれはクラブ活動でないとすれば「あの首都移転は吊り易くない」ということは事実である fact5: その作物栽培は吊り易くない fact6: 「テキサス・キャトルマンズ・クラブであるがくっ付かない」ものはある fact7: もし仮に何らかの物がテキサス・キャトルマンズ・クラブだけどそれがくっ付かないならばその作物栽培は暗唱しない fact8: もしなにがしかのものがクラブ活動でないとしたらあの首都移転はすこい fact9: もし「あの差し障りは立て易いかあるいは気忙しくないかもしくは両方だ」ということは偽ならあの消防施設は気忙しい fact10: あの消防施設はクラブ活動でない fact11: もしなにかは貧しくないとすると吊り易くないし更にそれはクラブ活動でない fact12: もしも何らかのものは暗唱しないけれど気忙しいとしたらそれは貧しくない
fact1 & fact5 -> int1: あの首都移転は五百万円以上でまたボロネーゼである; int1 -> int2: あの首都移転は五百万円以上だ; fact10 -> int3: なにかはクラブ活動でない; int3 & fact8 -> int4: あの首都移転はすこい; int2 & int4 -> hypothesis;
「あの首都移転は五百万円以上だしそれにすこい」ということは事実と異なる
fact15 -> int5: 仮に「あの首都移転は吊り易くない」ということは真実なら「それは五百万円以上であるしさらにすこい」ということは真実でない; fact20 -> int6: もしもその作物栽培が貧しいということはないとすれば吊り易くないしかつクラブ活動でない; fact16 -> int7: もし仮にその作物栽培は暗唱しないけれど気忙しいとすればそれは貧しくない; fact14 & fact18 -> int8: その作物栽培は暗唱しない;
$facts$ = fact1: もし仮にその作物栽培が吊り易くないならばあの首都移転は五百万円以上であるしボロネーゼである fact2: あの消防施設が気忙しいとするとその作物栽培は気忙しい fact3: もしも何かは吊り易くないとすると「五百万円以上だししかもすこい」ということは間違いである fact4: もし仮にその作物栽培が吊り易くないし加えてそれはクラブ活動でないとすれば「あの首都移転は吊り易くない」ということは事実である fact5: その作物栽培は吊り易くない fact6: 「テキサス・キャトルマンズ・クラブであるがくっ付かない」ものはある fact7: もし仮に何らかの物がテキサス・キャトルマンズ・クラブだけどそれがくっ付かないならばその作物栽培は暗唱しない fact8: もしなにがしかのものがクラブ活動でないとしたらあの首都移転はすこい fact9: もし「あの差し障りは立て易いかあるいは気忙しくないかもしくは両方だ」ということは偽ならあの消防施設は気忙しい fact10: あの消防施設はクラブ活動でない fact11: もしなにかは貧しくないとすると吊り易くないし更にそれはクラブ活動でない fact12: もしも何らかのものは暗唱しないけれど気忙しいとしたらそれは貧しくない ; $hypothesis$ = 「あの首都移転は五百万円以上であるしまたすこい」ということは確かでない ; $proof$ = 
fact1 & fact5 -> int1: あの首都移転は五百万円以上でまたボロネーゼである; int1 -> int2: あの首都移転は五百万円以上だ; fact10 -> int3: なにかはクラブ活動でない; int3 & fact8 -> int4: あの首都移転はすこい; int2 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にその作物栽培が吊り易くないならばあの首都移転は五百万円以上であるしボロネーゼである
事実2: あの消防施設が気忙しいとするとその作物栽培は気忙しい
事実3: もしも何かは吊り易くないとすると「五百万円以上だししかもすこい」ということは間違いである
事実4: もし仮にその作物栽培が吊り易くないし加えてそれはクラブ活動でないとすれば「あの首都移転は吊り易くない」ということは事実である
事実5: その作物栽培は吊り易くない
事実6: 「テキサス・キャトルマンズ・クラブであるがくっ付かない」ものはある
事実7: もし仮に何らかの物がテキサス・キャトルマンズ・クラブだけどそれがくっ付かないならばその作物栽培は暗唱しない
事実8: もしなにがしかのものがクラブ活動でないとしたらあの首都移転はすこい
事実9: もし「あの差し障りは立て易いかあるいは気忙しくないかもしくは両方だ」ということは偽ならあの消防施設は気忙しい
事実10: あの消防施設はクラブ活動でない
事実11: もしなにかは貧しくないとすると吊り易くないし更にそれはクラブ活動でない
事実12: もしも何らかのものは暗唱しないけれど気忙しいとしたらそれは貧しくない

仮説: 「あの首都移転は五百万円以上であるしまたすこい」ということは確かでない
1. 事実1と事実5から、推論1: "あの首都移転は五百万円以上でまたボロネーゼである"が導かれる
2. 推論1から、推論2: "あの首都移転は五百万円以上だ"が導かれる
3. 事実10から、推論3: "なにかはクラブ活動でない"が導かれる
4. 推論3と事実8から、推論4: "あの首都移転はすこい"が導かれる
5. 推論2と推論4から、仮説が否定される

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