「「「この社債権者集会は問答しないか自己紹介するかあるいはどちらもである」ということは誤っていない」ということは間違いだ」ということは真実だ
fact1: あの九時前後は弛み無いということはない fact2: この社債権者集会は問答するかまたはそれは自己紹介するかあるいはどちらもだ fact3: もし仮にこの社債権者集会がやくざっぽいとするとそれは干ないか露見するかまたはどちらもだ fact4: この社債権者集会は罪深い fact5: 「この社債権者集会は水木君でない」ということは事実だ fact6: 捕らえ難いものは逆巻く fact7: もし仮に「この社債権者集会はＢＣＧ既接種者である」ということは正しいならばそれは問答しないかもしくは自己紹介する fact8: 仮にこの資金力がＢＣＧ既接種者なら切り下げないかまたは秩序付ける fact9: この社債権者集会はＢＣＧ既接種者だ fact10: あの九時前後が弛み無くないとすればそれは水木君でかつ捕らえ難い fact11: もしなにがしかのものはＢＣＧ既接種者でないとすれば「それは問答するということはないかまたは自己紹介するか両方だ」ということは嘘だ fact12: その高みは自己紹介する fact13: 「何かは推断しないしさらにそれはＢＣＧ既接種者でない」ということは偽であるとすれば推断する fact14: もし何かは逆巻くとすれば「「推断しないが高血糖状態だ」ということは成り立つ」ということは事実と異なる fact15: もし「この社債権者集会は水木君でない」ということは成り立つとすればそれは捕らえ難いしその上逆巻く fact16: もし仮にこの社債権者集会が推断するが問答しないとするとこの貸し金は問答する fact17: 仮に何らかの物は逆巻くなら「推断しないしおまけにそれはＢＣＧ既接種者でない」ということは誤っている fact18: この社債権者集会は紛らわしくないかあるいはチェック柄だ fact19: この社債権者集会がＢＣＧ既接種者だとしたら問答するかあるいは自己紹介するかもしくは両方ともだ
fact7 & fact9 -> hypothesis;
fact7 & fact9 -> hypothesis;
「この社債権者集会は問答しないか自己紹介するかあるいは両方である」ということは嘘だ
fact24 -> int1: もし仮にこの社債権者集会はＢＣＧ既接種者でないとしたら「それは問答しないか自己紹介するかもしくは両方である」ということは誤りだ; fact23 -> int2: 仮にあの九時前後は逆巻くとすると「推断しないしさらにそれは高血糖状態だ」ということは間違っている; fact21 -> int3: もし仮にあの九時前後が捕らえ難いならばそれは逆巻く; fact20 & fact22 -> int4: あの九時前後は水木君であるしかつ捕らえ難い; int4 -> int5: あの九時前後は捕らえ難い; int3 & int5 -> int6: あの九時前後は逆巻く; int2 & int6 -> int7: 「あの九時前後は推断しないけれど高血糖状態だ」ということは成り立つということはない; int7 -> int8: 「「「推断しないがしかし高血糖状態である」ということは事実である」ということは成り立たない」ものはある;
$facts$ = fact1: あの九時前後は弛み無いということはない fact2: この社債権者集会は問答するかまたはそれは自己紹介するかあるいはどちらもだ fact3: もし仮にこの社債権者集会がやくざっぽいとするとそれは干ないか露見するかまたはどちらもだ fact4: この社債権者集会は罪深い fact5: 「この社債権者集会は水木君でない」ということは事実だ fact6: 捕らえ難いものは逆巻く fact7: もし仮に「この社債権者集会はＢＣＧ既接種者である」ということは正しいならばそれは問答しないかもしくは自己紹介する fact8: 仮にこの資金力がＢＣＧ既接種者なら切り下げないかまたは秩序付ける fact9: この社債権者集会はＢＣＧ既接種者だ fact10: あの九時前後が弛み無くないとすればそれは水木君でかつ捕らえ難い fact11: もしなにがしかのものはＢＣＧ既接種者でないとすれば「それは問答するということはないかまたは自己紹介するか両方だ」ということは嘘だ fact12: その高みは自己紹介する fact13: 「何かは推断しないしさらにそれはＢＣＧ既接種者でない」ということは偽であるとすれば推断する fact14: もし何かは逆巻くとすれば「「推断しないが高血糖状態だ」ということは成り立つ」ということは事実と異なる fact15: もし「この社債権者集会は水木君でない」ということは成り立つとすればそれは捕らえ難いしその上逆巻く fact16: もし仮にこの社債権者集会が推断するが問答しないとするとこの貸し金は問答する fact17: 仮に何らかの物は逆巻くなら「推断しないしおまけにそれはＢＣＧ既接種者でない」ということは誤っている fact18: この社債権者集会は紛らわしくないかあるいはチェック柄だ fact19: この社債権者集会がＢＣＧ既接種者だとしたら問答するかあるいは自己紹介するかもしくは両方ともだ ; $hypothesis$ = 「「「この社債権者集会は問答しないか自己紹介するかあるいはどちらもである」ということは誤っていない」ということは間違いだ」ということは真実だ ; $proof$ = 
fact7 & fact9 -> hypothesis; __DISPROVED__
事実1: あの九時前後は弛み無いということはない
事実2: この社債権者集会は問答するかまたはそれは自己紹介するかあるいはどちらもだ
事実3: もし仮にこの社債権者集会がやくざっぽいとするとそれは干ないか露見するかまたはどちらもだ
事実4: この社債権者集会は罪深い
事実5: 「この社債権者集会は水木君でない」ということは事実だ
事実6: 捕らえ難いものは逆巻く
事実7: もし仮に「この社債権者集会はＢＣＧ既接種者である」ということは正しいならばそれは問答しないかもしくは自己紹介する
事実8: 仮にこの資金力がＢＣＧ既接種者なら切り下げないかまたは秩序付ける
事実9: この社債権者集会はＢＣＧ既接種者だ
事実10: あの九時前後が弛み無くないとすればそれは水木君でかつ捕らえ難い
事実11: もしなにがしかのものはＢＣＧ既接種者でないとすれば「それは問答するということはないかまたは自己紹介するか両方だ」ということは嘘だ
事実12: その高みは自己紹介する
事実13: 「何かは推断しないしさらにそれはＢＣＧ既接種者でない」ということは偽であるとすれば推断する
事実14: もし何かは逆巻くとすれば「「推断しないが高血糖状態だ」ということは成り立つ」ということは事実と異なる
事実15: もし「この社債権者集会は水木君でない」ということは成り立つとすればそれは捕らえ難いしその上逆巻く
事実16: もし仮にこの社債権者集会が推断するが問答しないとするとこの貸し金は問答する
事実17: 仮に何らかの物は逆巻くなら「推断しないしおまけにそれはＢＣＧ既接種者でない」ということは誤っている
事実18: この社債権者集会は紛らわしくないかあるいはチェック柄だ
事実19: この社債権者集会がＢＣＧ既接種者だとしたら問答するかあるいは自己紹介するかもしくは両方ともだ

仮説: 「「「この社債権者集会は問答しないか自己紹介するかあるいはどちらもである」ということは誤っていない」ということは間違いだ」ということは真実だ
1. 事実7と事実9から、仮説が否定される

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