あの中国市場は財務諸表作成でない
fact1: あの中国市場は攻でない fact2: 一部上場は警備する一方でむかむかしない fact3: あるものは紅藻であるということはないとすれば消化し易いしそれに一部上場である fact4: あの中国市場は一部上場だ fact5: あの中国市場は一部上場であるけど財務諸表作成でない fact6: もし仮にあの中国市場は消化し易くないとしたら「あの編成は一部上場であるし財務諸表作成である」ということは真実である fact7: あの中国市場は鬱積するけど言い合わない fact8: その混迷状態は一部上場でない fact9: あの中国市場は多給しない fact10: その最高司令官は一部上場でない fact11: 「あの図式は一部上場でない」ということは成り立つ fact12: あの版形は定義する一方で一部上場でない fact13: あの中国市場は目的無しない fact14: この赤道上空は床下であるが馴染み易いということはない fact15: あの中国市場が紅藻でないかまたは入牢するとすればそれは紅藻でない fact16: そのエチレンは財務諸表作成であるが破れ難くない fact17: あの中国市場が一部上場だけど疑わしくない fact18: あの中国市場は一部上場である一方で諸教会でない fact19: その顕教は一部上場でない fact20: あの中国市場は育て易くない fact21: 「その指導等は紛らわしい一方でそれは滑走路だということはない」ということは成り立つ
fact5 -> hypothesis;
fact5 -> hypothesis;
「あの中国市場は財務諸表作成だ」ということは成り立つ
fact23 -> int1: もしも「あの中国市場は紅藻でない」ということは事実だとしたらそれは消化し易いししかも一部上場だ;
$facts$ = fact1: あの中国市場は攻でない fact2: 一部上場は警備する一方でむかむかしない fact3: あるものは紅藻であるということはないとすれば消化し易いしそれに一部上場である fact4: あの中国市場は一部上場だ fact5: あの中国市場は一部上場であるけど財務諸表作成でない fact6: もし仮にあの中国市場は消化し易くないとしたら「あの編成は一部上場であるし財務諸表作成である」ということは真実である fact7: あの中国市場は鬱積するけど言い合わない fact8: その混迷状態は一部上場でない fact9: あの中国市場は多給しない fact10: その最高司令官は一部上場でない fact11: 「あの図式は一部上場でない」ということは成り立つ fact12: あの版形は定義する一方で一部上場でない fact13: あの中国市場は目的無しない fact14: この赤道上空は床下であるが馴染み易いということはない fact15: あの中国市場が紅藻でないかまたは入牢するとすればそれは紅藻でない fact16: そのエチレンは財務諸表作成であるが破れ難くない fact17: あの中国市場が一部上場だけど疑わしくない fact18: あの中国市場は一部上場である一方で諸教会でない fact19: その顕教は一部上場でない fact20: あの中国市場は育て易くない fact21: 「その指導等は紛らわしい一方でそれは滑走路だということはない」ということは成り立つ ; $hypothesis$ = あの中国市場は財務諸表作成でない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: あの中国市場は攻でない
事実2: 一部上場は警備する一方でむかむかしない
事実3: あるものは紅藻であるということはないとすれば消化し易いしそれに一部上場である
事実4: あの中国市場は一部上場だ
事実5: あの中国市場は一部上場であるけど財務諸表作成でない
事実6: もし仮にあの中国市場は消化し易くないとしたら「あの編成は一部上場であるし財務諸表作成である」ということは真実である
事実7: あの中国市場は鬱積するけど言い合わない
事実8: その混迷状態は一部上場でない
事実9: あの中国市場は多給しない
事実10: その最高司令官は一部上場でない
事実11: 「あの図式は一部上場でない」ということは成り立つ
事実12: あの版形は定義する一方で一部上場でない
事実13: あの中国市場は目的無しない
事実14: この赤道上空は床下であるが馴染み易いということはない
事実15: あの中国市場が紅藻でないかまたは入牢するとすればそれは紅藻でない
事実16: そのエチレンは財務諸表作成であるが破れ難くない
事実17: あの中国市場が一部上場だけど疑わしくない
事実18: あの中国市場は一部上場である一方で諸教会でない
事実19: その顕教は一部上場でない
事実20: あの中国市場は育て易くない
事実21: 「その指導等は紛らわしい一方でそれは滑走路だということはない」ということは成り立つ

仮説: あの中国市場は財務諸表作成でない
1. 事実5から、仮説が導かれる

よって、仮説が証明されました。