仮に「その科学革命は証する一方で公示制度でない」ということは偽だとするとその巡り合いは銜う
fact1: もし仮に「その科学革命は銜うし内部監査部門等である」ということは成り立たないならこのバルビツール酸誘導体は証する fact2: もし「その巡り合いは銜うけど公示制度でない」ということは事実と異なるとすればその科学革命は証する fact3: 仮に「その科学革命は証する」ということは成り立つということはないとするとその巡り合いは銜う fact4: 「そのアメリカンスタイルは公示制度である」ということは嘘でない fact5: 「その科学革命は証するけれど公示制度でない」ということは確かでないならこのバルビツール酸誘導体は内部監査部門等である fact6: その科学革命は内部監査部門等だ fact7: もしもこのバルビツール酸誘導体が内部監査部門等であるならばその巡り合いは銜う fact8: 「その巡り合いは証するけれど銜うということはない」ということは誤っている fact9: その科学革命は公示制度だ fact10: 「その巡り合いは銜うが内部監査部門等でない」ということは偽であるとしたらこのバルビツール酸誘導体は公示制度だ fact11: もし仮に「その科学革命は証するしまたそれは公示制度だ」ということは間違っていれば「その巡り合いは銜う」ということは真実だ fact12: その科学革命が証する一方で公示制度でないとするとこのバルビツール酸誘導体は内部監査部門等である fact13: その巡り合いは公示制度だ fact14: 仮にその科学革命が証するけどそれが公示制度でないとすればその巡り合いは銜う fact15: もしその巡り合いが公示制度でないとするとその科学革命は銜う fact16: このバルビツール酸誘導体は銜う fact17: もしも「その巡り合いは銜うし更に公示制度だ」ということは嘘だとすればその科学革命は内部監査部門等である
void -> assump1: 以下のように仮定する。「その科学革命は証するけれど公示制度でない」ということは間違っている; fact5 & assump1 -> int1: 「このバルビツール酸誘導体は内部監査部門等である」ということは成り立つ; int1 & fact7 -> int2: その巡り合いは銜う; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし仮に「その科学革命は銜うし内部監査部門等である」ということは成り立たないならこのバルビツール酸誘導体は証する fact2: もし「その巡り合いは銜うけど公示制度でない」ということは事実と異なるとすればその科学革命は証する fact3: 仮に「その科学革命は証する」ということは成り立つということはないとするとその巡り合いは銜う fact4: 「そのアメリカンスタイルは公示制度である」ということは嘘でない fact5: 「その科学革命は証するけれど公示制度でない」ということは確かでないならこのバルビツール酸誘導体は内部監査部門等である fact6: その科学革命は内部監査部門等だ fact7: もしもこのバルビツール酸誘導体が内部監査部門等であるならばその巡り合いは銜う fact8: 「その巡り合いは証するけれど銜うということはない」ということは誤っている fact9: その科学革命は公示制度だ fact10: 「その巡り合いは銜うが内部監査部門等でない」ということは偽であるとしたらこのバルビツール酸誘導体は公示制度だ fact11: もし仮に「その科学革命は証するしまたそれは公示制度だ」ということは間違っていれば「その巡り合いは銜う」ということは真実だ fact12: その科学革命が証する一方で公示制度でないとするとこのバルビツール酸誘導体は内部監査部門等である fact13: その巡り合いは公示制度だ fact14: 仮にその科学革命が証するけどそれが公示制度でないとすればその巡り合いは銜う fact15: もしその巡り合いが公示制度でないとするとその科学革命は銜う fact16: このバルビツール酸誘導体は銜う fact17: もしも「その巡り合いは銜うし更に公示制度だ」ということは嘘だとすればその科学革命は内部監査部門等である ; $hypothesis$ = 仮に「その科学革命は証する一方で公示制度でない」ということは偽だとするとその巡り合いは銜う ; $proof$ = 
void -> assump1: 以下のように仮定する。「その科学革命は証するけれど公示制度でない」ということは間違っている; fact5 & assump1 -> int1: 「このバルビツール酸誘導体は内部監査部門等である」ということは成り立つ; int1 & fact7 -> int2: その巡り合いは銜う; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮に「その科学革命は銜うし内部監査部門等である」ということは成り立たないならこのバルビツール酸誘導体は証する
事実2: もし「その巡り合いは銜うけど公示制度でない」ということは事実と異なるとすればその科学革命は証する
事実3: 仮に「その科学革命は証する」ということは成り立つということはないとするとその巡り合いは銜う
事実4: 「そのアメリカンスタイルは公示制度である」ということは嘘でない
事実5: 「その科学革命は証するけれど公示制度でない」ということは確かでないならこのバルビツール酸誘導体は内部監査部門等である
事実6: その科学革命は内部監査部門等だ
事実7: もしもこのバルビツール酸誘導体が内部監査部門等であるならばその巡り合いは銜う
事実8: 「その巡り合いは証するけれど銜うということはない」ということは誤っている
事実9: その科学革命は公示制度だ
事実10: 「その巡り合いは銜うが内部監査部門等でない」ということは偽であるとしたらこのバルビツール酸誘導体は公示制度だ
事実11: もし仮に「その科学革命は証するしまたそれは公示制度だ」ということは間違っていれば「その巡り合いは銜う」ということは真実だ
事実12: その科学革命が証する一方で公示制度でないとするとこのバルビツール酸誘導体は内部監査部門等である
事実13: その巡り合いは公示制度だ
事実14: 仮にその科学革命が証するけどそれが公示制度でないとすればその巡り合いは銜う
事実15: もしその巡り合いが公示制度でないとするとその科学革命は銜う
事実16: このバルビツール酸誘導体は銜う
事実17: もしも「その巡り合いは銜うし更に公示制度だ」ということは嘘だとすればその科学革命は内部監査部門等である

仮説: 仮に「その科学革命は証する一方で公示制度でない」ということは偽だとするとその巡り合いは銜う
1. 仮定1: 以下のように仮定する。「その科学革命は証するけれど公示制度でない」ということは間違っている
2. 事実5と仮定1から、推論1: "「このバルビツール酸誘導体は内部監査部門等である」ということは成り立つ"が導かれる
3. 推論1と事実7から、推論2: "その巡り合いは銜う"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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