「あの大会社は武士である」ということは誤りであるということはない
fact1: この合衆国内は武士である fact2: もしそのＱＯＬ向上が形容し難いとしたらあの大会社は形容し難い fact3: 仮にそのＱＯＬ向上は成立し得ないならば「このカランはＢ債権であるけれどそれは形容し難くない」ということは誤りである fact4: 「あの陛下は心内膜炎であるかあるいは活動後でないかもしくは両方ともである」ということは成り立たないとすればそのコモンアーキテクチャは活動後でない fact5: この幹部社員は蛍光体である fact6: このカランは武士である fact7: このカランが蛍光体であるししかもそれが武士ならあの大会社は検出結果でない fact8: 仮に「何かはＢ債権であるが形容し難いということはない」ということは事実と異なるとするとそれは貯食行動系列でない fact9: 仮に「このカランは検出結果であるし蛍光体である」ということは真実であるとしたらあの大会社は武士でない fact10: もし仮にこのカランが貯食行動系列でないとするとあの大会社は蛍光体であるしそれは検出結果である fact11: このカランが武士であるしそれが蛍光体であるとしたらあの大会社は検出結果だということはない fact12: もしあの大会社が貯食行動系列でないけど蛍光体ならこのカランは蛍光体であるということはない fact13: もし何らかの物は蛍光体でないなら「検出結果であるしかつそれは武士でない」ということは誤っている fact14: 「あの中心間は検出結果でない」ということは確かである fact15: このカランは蛍光体である fact16: このカランは検出結果だ fact17: 仮に「あの大会社が検出結果だしそれにそれは蛍光体である」ということは確かだとするとこのカランは武士でない fact18: そのコモンアーキテクチャは活動後でないとしたら「買い上げるし壊れ難い」ということは偽だ fact19: あの大会社が蛍光体であるしそれに検出結果だとしたらこのカランは武士でない fact20: もし仮になにかは検出結果であるとしたら「武士だ」ということは成り立つ fact21: 「この硯箱は武士だ」ということは成り立つ fact22: もしも「何かは形容し難い」ということは誤っていないならば貯食行動系列でないしかつ蛍光体だ
fact16 & fact15 -> int1: このカランは検出結果だしそれに蛍光体だ; int1 & fact9 -> hypothesis;
fact16 & fact15 -> int1: ({A}{a} & {B}{a}); int1 & fact9 -> hypothesis;
あの都市近郊産地は検出結果でない
fact26 -> int2: このカランは蛍光体でないなら「それは検出結果でそれに武士でない」ということは成り立たない; fact23 -> int3: あの大会社が形容し難いとするとそれは貯食行動系列でないし蛍光体だ;
$facts$ = fact1: この合衆国内は武士である fact2: もしそのＱＯＬ向上が形容し難いとしたらあの大会社は形容し難い fact3: 仮にそのＱＯＬ向上は成立し得ないならば「このカランはＢ債権であるけれどそれは形容し難くない」ということは誤りである fact4: 「あの陛下は心内膜炎であるかあるいは活動後でないかもしくは両方ともである」ということは成り立たないとすればそのコモンアーキテクチャは活動後でない fact5: この幹部社員は蛍光体である fact6: このカランは武士である fact7: このカランが蛍光体であるししかもそれが武士ならあの大会社は検出結果でない fact8: 仮に「何かはＢ債権であるが形容し難いということはない」ということは事実と異なるとするとそれは貯食行動系列でない fact9: 仮に「このカランは検出結果であるし蛍光体である」ということは真実であるとしたらあの大会社は武士でない fact10: もし仮にこのカランが貯食行動系列でないとするとあの大会社は蛍光体であるしそれは検出結果である fact11: このカランが武士であるしそれが蛍光体であるとしたらあの大会社は検出結果だということはない fact12: もしあの大会社が貯食行動系列でないけど蛍光体ならこのカランは蛍光体であるということはない fact13: もし何らかの物は蛍光体でないなら「検出結果であるしかつそれは武士でない」ということは誤っている fact14: 「あの中心間は検出結果でない」ということは確かである fact15: このカランは蛍光体である fact16: このカランは検出結果だ fact17: 仮に「あの大会社が検出結果だしそれにそれは蛍光体である」ということは確かだとするとこのカランは武士でない fact18: そのコモンアーキテクチャは活動後でないとしたら「買い上げるし壊れ難い」ということは偽だ fact19: あの大会社が蛍光体であるしそれに検出結果だとしたらこのカランは武士でない fact20: もし仮になにかは検出結果であるとしたら「武士だ」ということは成り立つ fact21: 「この硯箱は武士だ」ということは成り立つ fact22: もしも「何かは形容し難い」ということは誤っていないならば貯食行動系列でないしかつ蛍光体だ ; $hypothesis$ = 「あの大会社は武士である」ということは誤りであるということはない ; $proof$ = 
fact16 & fact15 -> int1: このカランは検出結果だしそれに蛍光体だ; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: この合衆国内は武士である
事実2: もしそのＱＯＬ向上が形容し難いとしたらあの大会社は形容し難い
事実3: 仮にそのＱＯＬ向上は成立し得ないならば「このカランはＢ債権であるけれどそれは形容し難くない」ということは誤りである
事実4: 「あの陛下は心内膜炎であるかあるいは活動後でないかもしくは両方ともである」ということは成り立たないとすればそのコモンアーキテクチャは活動後でない
事実5: この幹部社員は蛍光体である
事実6: このカランは武士である
事実7: このカランが蛍光体であるししかもそれが武士ならあの大会社は検出結果でない
事実8: 仮に「何かはＢ債権であるが形容し難いということはない」ということは事実と異なるとするとそれは貯食行動系列でない
事実9: 仮に「このカランは検出結果であるし蛍光体である」ということは真実であるとしたらあの大会社は武士でない
事実10: もし仮にこのカランが貯食行動系列でないとするとあの大会社は蛍光体であるしそれは検出結果である
事実11: このカランが武士であるしそれが蛍光体であるとしたらあの大会社は検出結果だということはない
事実12: もしあの大会社が貯食行動系列でないけど蛍光体ならこのカランは蛍光体であるということはない
事実13: もし何らかの物は蛍光体でないなら「検出結果であるしかつそれは武士でない」ということは誤っている
事実14: 「あの中心間は検出結果でない」ということは確かである
事実15: このカランは蛍光体である
事実16: このカランは検出結果だ
事実17: 仮に「あの大会社が検出結果だしそれにそれは蛍光体である」ということは確かだとするとこのカランは武士でない
事実18: そのコモンアーキテクチャは活動後でないとしたら「買い上げるし壊れ難い」ということは偽だ
事実19: あの大会社が蛍光体であるしそれに検出結果だとしたらこのカランは武士でない
事実20: もし仮になにかは検出結果であるとしたら「武士だ」ということは成り立つ
事実21: 「この硯箱は武士だ」ということは成り立つ
事実22: もしも「何かは形容し難い」ということは誤っていないならば貯食行動系列でないしかつ蛍光体だ

仮説: 「あの大会社は武士である」ということは誤りであるということはない
1. 事実16と事実15から、推論1: "このカランは検出結果だしそれに蛍光体だ"が導かれる
2. 推論1と事実9から、仮説が否定される

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