この貸借対照表価額は恒星でない
fact1: もし仮にこの貸借対照表価額がドアマンでないかもしくはそれが中府ならば恒星でない fact2: とあるものが大桂馬だということはないとしたらドアマンだということはないかもしくは中府である fact3: もし仮にその基準認定がドアマンならこの貸借対照表価額は恒星だ fact4: その基準認定は恒星であるし加えてそれは中府である fact5: その基準認定は中府だ fact6: その基準認定は中府であるしそれはドアマンである
fact6 -> int1: その基準認定はドアマンである; int1 & fact3 -> hypothesis;
この貸借対照表価額は恒星でない
fact7 -> int2: もしこの貸借対照表価額が大桂馬だということはないとするとドアマンでないかまたは中府であるかあるいはどちらもである;
$facts$ = fact1: もし仮にこの貸借対照表価額がドアマンでないかもしくはそれが中府ならば恒星でない fact2: とあるものが大桂馬だということはないとしたらドアマンだということはないかもしくは中府である fact3: もし仮にその基準認定がドアマンならこの貸借対照表価額は恒星だ fact4: その基準認定は恒星であるし加えてそれは中府である fact5: その基準認定は中府だ fact6: その基準認定は中府であるしそれはドアマンである ; $hypothesis$ = この貸借対照表価額は恒星でない ; $proof$ = 
fact6 -> int1: その基準認定はドアマンである; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの貸借対照表価額がドアマンでないかもしくはそれが中府ならば恒星でない
事実2: とあるものが大桂馬だということはないとしたらドアマンだということはないかもしくは中府である
事実3: もし仮にその基準認定がドアマンならこの貸借対照表価額は恒星だ
事実4: その基準認定は恒星であるし加えてそれは中府である
事実5: その基準認定は中府だ
事実6: その基準認定は中府であるしそれはドアマンである

仮説: この貸借対照表価額は恒星でない
1. 事実6から、推論1: "その基準認定はドアマンである"が導かれる
2. 推論1と事実3から、仮説が否定される

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