その脱疽はハウス・マッチでない
fact1: 仮にこのエンジン自体が維持助長するし更にそれが宣するとしたらその脱疽はハウス・マッチでない fact2: このエンジン自体は一〜二錠内服である fact3: その芝居見物は宣する fact4: とある物は宣しないとしたら「それはハウス・マッチでないけど維持助長する」ということは成り立たない fact5: このエンジン自体は宣する fact6: あの活動後が財産分与であるし規則正しいとしたらこのエンジン自体は宣しない fact7: その脱疽は維持助長する fact8: ある物が宣しないかまたは財産分与でないならばそれは宣しない fact9: 仮にこのエンジン自体がハウス・マッチならその脱疽はハウス・マッチだ fact10: このヨーロッパ中世都市は維持助長しない fact11: このエンジン自体はバーテンダーでない fact12: あの甲種合格はハウス・マッチである fact13: もしもなにかは宣しないとするとそれはハウス・マッチで維持助長する fact14: 「あの活動後は財産分与であるし加えて進み易い」ということは事実と異なるとしたら財産分与でない fact15: このエンジン自体はアンリ・ビリーバーである fact16: その脱疽は施策等であるし音響分析である fact17: このエンジン自体がハウス・マッチであるし宣すればその脱疽は維持助長しない fact18: このエンジン自体は維持助長する fact19: このスーパーオキシドは維持助長する
fact18 & fact5 -> int1: このエンジン自体は維持助長するしそれは宣する; int1 & fact1 -> hypothesis;
その脱疽は維持助長しない
fact21 -> int2: もしこのエンジン自体は宣しないならば「ハウス・マッチでないけれど維持助長する」ということは間違っている;
$facts$ = fact1: 仮にこのエンジン自体が維持助長するし更にそれが宣するとしたらその脱疽はハウス・マッチでない fact2: このエンジン自体は一〜二錠内服である fact3: その芝居見物は宣する fact4: とある物は宣しないとしたら「それはハウス・マッチでないけど維持助長する」ということは成り立たない fact5: このエンジン自体は宣する fact6: あの活動後が財産分与であるし規則正しいとしたらこのエンジン自体は宣しない fact7: その脱疽は維持助長する fact8: ある物が宣しないかまたは財産分与でないならばそれは宣しない fact9: 仮にこのエンジン自体がハウス・マッチならその脱疽はハウス・マッチだ fact10: このヨーロッパ中世都市は維持助長しない fact11: このエンジン自体はバーテンダーでない fact12: あの甲種合格はハウス・マッチである fact13: もしもなにかは宣しないとするとそれはハウス・マッチで維持助長する fact14: 「あの活動後は財産分与であるし加えて進み易い」ということは事実と異なるとしたら財産分与でない fact15: このエンジン自体はアンリ・ビリーバーである fact16: その脱疽は施策等であるし音響分析である fact17: このエンジン自体がハウス・マッチであるし宣すればその脱疽は維持助長しない fact18: このエンジン自体は維持助長する fact19: このスーパーオキシドは維持助長する ; $hypothesis$ = その脱疽はハウス・マッチでない ; $proof$ = 
fact18 & fact5 -> int1: このエンジン自体は維持助長するしそれは宣する; int1 & fact1 -> hypothesis; __PROVED__
事実1: 仮にこのエンジン自体が維持助長するし更にそれが宣するとしたらその脱疽はハウス・マッチでない
事実2: このエンジン自体は一〜二錠内服である
事実3: その芝居見物は宣する
事実4: とある物は宣しないとしたら「それはハウス・マッチでないけど維持助長する」ということは成り立たない
事実5: このエンジン自体は宣する
事実6: あの活動後が財産分与であるし規則正しいとしたらこのエンジン自体は宣しない
事実7: その脱疽は維持助長する
事実8: ある物が宣しないかまたは財産分与でないならばそれは宣しない
事実9: 仮にこのエンジン自体がハウス・マッチならその脱疽はハウス・マッチだ
事実10: このヨーロッパ中世都市は維持助長しない
事実11: このエンジン自体はバーテンダーでない
事実12: あの甲種合格はハウス・マッチである
事実13: もしもなにかは宣しないとするとそれはハウス・マッチで維持助長する
事実14: 「あの活動後は財産分与であるし加えて進み易い」ということは事実と異なるとしたら財産分与でない
事実15: このエンジン自体はアンリ・ビリーバーである
事実16: その脱疽は施策等であるし音響分析である
事実17: このエンジン自体がハウス・マッチであるし宣すればその脱疽は維持助長しない
事実18: このエンジン自体は維持助長する
事実19: このスーパーオキシドは維持助長する

仮説: その脱疽はハウス・マッチでない
1. 事実18と事実5から、推論1: "このエンジン自体は維持助長するしそれは宣する"が導かれる
2. 推論1と事実1から、仮説が導かれる

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