「この城郭研究は単調増加しないが快い」ということは偽だ
fact1: もしこのオランダ使節は単調増加するとすると「この城郭研究は単調増加しないけど快い」ということは誤りだ fact2: もし「焼き上げない」ものがあるならあの香草は良心でないか大西洋上でないかまたは両方ともだ fact3: もし仮にこの城郭研究は単調増加するとすると「あの香草は単調増加しないが良心である」ということは真実でない fact4: もしあの香草が良心でないかあるいは大西洋上でないとしたらこのオランダ使節は単調増加する fact5: 「「焼き上げるということはない」ということは成り立つ」ものはある fact6: 仮にあの香草が大西洋上だということはないとすればこの城郭研究は焼き上げるし更に良心である fact7: あの香草は大西洋上でないかまたはそれは単調増加する
fact5 & fact2 -> int1: あの香草は良心でないかまたはそれは大西洋上だということはないかあるいは両方だ; int1 & fact4 -> int2: このオランダ使節は単調増加する; int2 & fact1 -> hypothesis;
この城郭研究は単調増加しないけれどそれは快い
$facts$ = fact1: もしこのオランダ使節は単調増加するとすると「この城郭研究は単調増加しないけど快い」ということは誤りだ fact2: もし「焼き上げない」ものがあるならあの香草は良心でないか大西洋上でないかまたは両方ともだ fact3: もし仮にこの城郭研究は単調増加するとすると「あの香草は単調増加しないが良心である」ということは真実でない fact4: もしあの香草が良心でないかあるいは大西洋上でないとしたらこのオランダ使節は単調増加する fact5: 「「焼き上げるということはない」ということは成り立つ」ものはある fact6: 仮にあの香草が大西洋上だということはないとすればこの城郭研究は焼き上げるし更に良心である fact7: あの香草は大西洋上でないかまたはそれは単調増加する ; $hypothesis$ = 「この城郭研究は単調増加しないが快い」ということは偽だ ; $proof$ = 
fact5 & fact2 -> int1: あの香草は良心でないかまたはそれは大西洋上だということはないかあるいは両方だ; int1 & fact4 -> int2: このオランダ使節は単調増加する; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしこのオランダ使節は単調増加するとすると「この城郭研究は単調増加しないけど快い」ということは誤りだ
事実2: もし「焼き上げない」ものがあるならあの香草は良心でないか大西洋上でないかまたは両方ともだ
事実3: もし仮にこの城郭研究は単調増加するとすると「あの香草は単調増加しないが良心である」ということは真実でない
事実4: もしあの香草が良心でないかあるいは大西洋上でないとしたらこのオランダ使節は単調増加する
事実5: 「「焼き上げるということはない」ということは成り立つ」ものはある
事実6: 仮にあの香草が大西洋上だということはないとすればこの城郭研究は焼き上げるし更に良心である
事実7: あの香草は大西洋上でないかまたはそれは単調増加する

仮説: 「この城郭研究は単調増加しないが快い」ということは偽だ
1. 事実5と事実2から、推論1: "あの香草は良心でないかまたはそれは大西洋上だということはないかあるいは両方だ"が導かれる
2. 推論1と事実4から、推論2: "このオランダ使節は単調増加する"が導かれる
3. 推論2と事実1から、仮説が導かれる

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