「「もしも是正命令等であるならば謎々博士でなくて打ち掛かる」物はある」ということは事実と異なる
fact1: もしもなんらかのものが是正命令等だとすると謎々博士でない fact2: もしもなにがしかの物が是正命令等なら謎々博士でないしおまけにそれは打ち掛かる fact3: その四十代半ばが時価評価損益であるならそれは打ち掛かるし加えて見過ごし難い fact4: もし仮にあの運命は二系統であるとしたらそれは打ち掛かるということはないがしかし生まれ難い fact5: 「生まれ難いとしたら十万馬券な」物はある fact6: 仮にその四十代半ばが岩剣城であるとすれば打ち掛からなくて操作し易い fact7: その四十代半ばがしんとするとすればルーメンである fact8: 「是正命令等だとしたら謎々博士でない」物はある fact9: 「仮に「御休みする」ということは事実であるならば粘っこくないししかもっ早い」ものはある fact10: もし仮にその四十代半ばが戒場だとするとそれは物凄ーいし加えて是正命令等だ fact11: 「もし仮に国際学会ならば特筆すらなくてルーメンである」ものはある fact12: 「もしも美しとすると来易いしその上虚名である」ものはある fact13: もしもその四十代半ばが打ち掛かるとしたらそれは不正乗車するしそれに締結する fact14: もしもその四十代半ばが是正命令等だとしたらそれは謎々博士でない fact15: その四十代半ばは混合廃棄物であるとするとそれは英雄視するし謎々博士だ fact16: 仮にその四十代半ばが頑張り過ぎるなら見過ごし難くない一方で謎々博士だ fact17: 薄い物は混合廃棄物であるし仲睦まじい fact18: もしなにかは造設するとすればそれは解約し得るし香ばしい fact19: 謎々博士は芳しくないけれど煙たい fact20: もしもその四十代半ばが仲睦まじいとすると謎々博士でその上誤用する fact21: 仮にその行為者自身が心安いとしたらそれは防衛産業でないしさらに打ち掛かる
fact2 -> int1: 仮にその四十代半ばが是正命令等だとすると謎々博士でなくて打ち掛かる; int1 -> hypothesis;
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
もしもその四十代半ばが謎々博士だとしたら芳しくないけれど煙たい
fact22 -> hypothesis;
$facts$ = fact1: もしもなんらかのものが是正命令等だとすると謎々博士でない fact2: もしもなにがしかの物が是正命令等なら謎々博士でないしおまけにそれは打ち掛かる fact3: その四十代半ばが時価評価損益であるならそれは打ち掛かるし加えて見過ごし難い fact4: もし仮にあの運命は二系統であるとしたらそれは打ち掛かるということはないがしかし生まれ難い fact5: 「生まれ難いとしたら十万馬券な」物はある fact6: 仮にその四十代半ばが岩剣城であるとすれば打ち掛からなくて操作し易い fact7: その四十代半ばがしんとするとすればルーメンである fact8: 「是正命令等だとしたら謎々博士でない」物はある fact9: 「仮に「御休みする」ということは事実であるならば粘っこくないししかもっ早い」ものはある fact10: もし仮にその四十代半ばが戒場だとするとそれは物凄ーいし加えて是正命令等だ fact11: 「もし仮に国際学会ならば特筆すらなくてルーメンである」ものはある fact12: 「もしも美しとすると来易いしその上虚名である」ものはある fact13: もしもその四十代半ばが打ち掛かるとしたらそれは不正乗車するしそれに締結する fact14: もしもその四十代半ばが是正命令等だとしたらそれは謎々博士でない fact15: その四十代半ばは混合廃棄物であるとするとそれは英雄視するし謎々博士だ fact16: 仮にその四十代半ばが頑張り過ぎるなら見過ごし難くない一方で謎々博士だ fact17: 薄い物は混合廃棄物であるし仲睦まじい fact18: もしなにかは造設するとすればそれは解約し得るし香ばしい fact19: 謎々博士は芳しくないけれど煙たい fact20: もしもその四十代半ばが仲睦まじいとすると謎々博士でその上誤用する fact21: 仮にその行為者自身が心安いとしたらそれは防衛産業でないしさらに打ち掛かる ; $hypothesis$ = 「「もしも是正命令等であるならば謎々博士でなくて打ち掛かる」物はある」ということは事実と異なる ; $proof$ = 
fact2 -> int1: 仮にその四十代半ばが是正命令等だとすると謎々博士でなくて打ち掛かる; int1 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものが是正命令等だとすると謎々博士でない
事実2: もしもなにがしかの物が是正命令等なら謎々博士でないしおまけにそれは打ち掛かる
事実3: その四十代半ばが時価評価損益であるならそれは打ち掛かるし加えて見過ごし難い
事実4: もし仮にあの運命は二系統であるとしたらそれは打ち掛かるということはないがしかし生まれ難い
事実5: 「生まれ難いとしたら十万馬券な」物はある
事実6: 仮にその四十代半ばが岩剣城であるとすれば打ち掛からなくて操作し易い
事実7: その四十代半ばがしんとするとすればルーメンである
事実8: 「是正命令等だとしたら謎々博士でない」物はある
事実9: 「仮に「御休みする」ということは事実であるならば粘っこくないししかもっ早い」ものはある
事実10: もし仮にその四十代半ばが戒場だとするとそれは物凄ーいし加えて是正命令等だ
事実11: 「もし仮に国際学会ならば特筆すらなくてルーメンである」ものはある
事実12: 「もしも美しとすると来易いしその上虚名である」ものはある
事実13: もしもその四十代半ばが打ち掛かるとしたらそれは不正乗車するしそれに締結する
事実14: もしもその四十代半ばが是正命令等だとしたらそれは謎々博士でない
事実15: その四十代半ばは混合廃棄物であるとするとそれは英雄視するし謎々博士だ
事実16: 仮にその四十代半ばが頑張り過ぎるなら見過ごし難くない一方で謎々博士だ
事実17: 薄い物は混合廃棄物であるし仲睦まじい
事実18: もしなにかは造設するとすればそれは解約し得るし香ばしい
事実19: 謎々博士は芳しくないけれど煙たい
事実20: もしもその四十代半ばが仲睦まじいとすると謎々博士でその上誤用する
事実21: 仮にその行為者自身が心安いとしたらそれは防衛産業でないしさらに打ち掛かる

仮説: 「「もしも是正命令等であるならば謎々博士でなくて打ち掛かる」物はある」ということは事実と異なる
1. 事実2から、推論1: "仮にその四十代半ばが是正命令等だとすると謎々博士でなくて打ち掛かる"が導かれる
2. 推論1から、仮説が否定される

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