仮にその本書が自然らしいとすればあの一致率は書き下ろす
fact1: 仮にこの増加が傾げるし加えて普通教育であるとすればあの一致率は普通教育でない fact2: あの一致率は即応出来る fact3: 仮にあのインターネット時代が傾げるとするとあの藁筵は傾げる fact4: もしもとあるものが即応出来るとするとそれは自然らしい fact5: この技術教育は伸し掛かるかもしくは紹介出来る fact6: もしあの藁筵は傾げれば「この増加は傾げる」ということは確かである fact7: 仮に何らかのものが三角点でないとしたらそれは紹介出来るかそれは普通教育である fact8: その本書は即応出来る fact9: もしもこの竪琴師が贈らないとすればそれは寒ーいかもしくはそれは委員だ fact10: もし何らかの物は傾げるなら「書き下ろす」ということは真実である fact11: その虜が書き下ろすならばあの一致率は三角点である fact12: もしあの一致率が普通教育でないとするとその本書は三角点でないけど紹介出来る fact13: あの一致率は傾げるかまたはそれは自然らしいかどちらもだ fact14: もしその虜が普通教育であるとしたらあの一致率は傾げる fact15: その本書は傾げるかまたはそれは自然らしいかあるいは両方ともだ fact16: もしその本書が即応出来るかあるいはそれが自然らしいならばその虜は三角点だということはない fact17: もし仮に「その虜は紹介出来る」ということは成り立つとすると「あの一致率は傾げる」ということは真実だ
void -> assump1: 以下のように仮定する。「その本書は自然らしい」ということは間違いでない; assump1 -> int1: その本書は即応出来るかまたは自然らしい; int1 & fact16 -> int2: その虜は三角点でない; fact7 -> int3: もしその虜が三角点でないとすると紹介出来るかもしくは普通教育だ; int2 & int3 -> int4: その虜は紹介出来るかまたは普通教育である; int4 & fact17 & fact14 -> int5: あの一致率は傾げる; fact10 -> int6: もしあの一致率が傾げるとすれば書き下ろす; int5 & int6 -> int7: あの一致率は書き下ろす; [assump1] & int7 -> hypothesis;
その虜は自然らしい
fact22 -> int8: もしその虜が即応出来れば自然らしい;
$facts$ = fact1: 仮にこの増加が傾げるし加えて普通教育であるとすればあの一致率は普通教育でない fact2: あの一致率は即応出来る fact3: 仮にあのインターネット時代が傾げるとするとあの藁筵は傾げる fact4: もしもとあるものが即応出来るとするとそれは自然らしい fact5: この技術教育は伸し掛かるかもしくは紹介出来る fact6: もしあの藁筵は傾げれば「この増加は傾げる」ということは確かである fact7: 仮に何らかのものが三角点でないとしたらそれは紹介出来るかそれは普通教育である fact8: その本書は即応出来る fact9: もしもこの竪琴師が贈らないとすればそれは寒ーいかもしくはそれは委員だ fact10: もし何らかの物は傾げるなら「書き下ろす」ということは真実である fact11: その虜が書き下ろすならばあの一致率は三角点である fact12: もしあの一致率が普通教育でないとするとその本書は三角点でないけど紹介出来る fact13: あの一致率は傾げるかまたはそれは自然らしいかどちらもだ fact14: もしその虜が普通教育であるとしたらあの一致率は傾げる fact15: その本書は傾げるかまたはそれは自然らしいかあるいは両方ともだ fact16: もしその本書が即応出来るかあるいはそれが自然らしいならばその虜は三角点だということはない fact17: もし仮に「その虜は紹介出来る」ということは成り立つとすると「あの一致率は傾げる」ということは真実だ ; $hypothesis$ = 仮にその本書が自然らしいとすればあの一致率は書き下ろす ; $proof$ = 
void -> assump1: 以下のように仮定する。「その本書は自然らしい」ということは間違いでない; assump1 -> int1: その本書は即応出来るかまたは自然らしい; int1 & fact16 -> int2: その虜は三角点でない; fact7 -> int3: もしその虜が三角点でないとすると紹介出来るかもしくは普通教育だ; int2 & int3 -> int4: その虜は紹介出来るかまたは普通教育である; int4 & fact17 & fact14 -> int5: あの一致率は傾げる; fact10 -> int6: もしあの一致率が傾げるとすれば書き下ろす; int5 & int6 -> int7: あの一致率は書き下ろす; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 仮にこの増加が傾げるし加えて普通教育であるとすればあの一致率は普通教育でない
事実2: あの一致率は即応出来る
事実3: 仮にあのインターネット時代が傾げるとするとあの藁筵は傾げる
事実4: もしもとあるものが即応出来るとするとそれは自然らしい
事実5: この技術教育は伸し掛かるかもしくは紹介出来る
事実6: もしあの藁筵は傾げれば「この増加は傾げる」ということは確かである
事実7: 仮に何らかのものが三角点でないとしたらそれは紹介出来るかそれは普通教育である
事実8: その本書は即応出来る
事実9: もしもこの竪琴師が贈らないとすればそれは寒ーいかもしくはそれは委員だ
事実10: もし何らかの物は傾げるなら「書き下ろす」ということは真実である
事実11: その虜が書き下ろすならばあの一致率は三角点である
事実12: もしあの一致率が普通教育でないとするとその本書は三角点でないけど紹介出来る
事実13: あの一致率は傾げるかまたはそれは自然らしいかどちらもだ
事実14: もしその虜が普通教育であるとしたらあの一致率は傾げる
事実15: その本書は傾げるかまたはそれは自然らしいかあるいは両方ともだ
事実16: もしその本書が即応出来るかあるいはそれが自然らしいならばその虜は三角点だということはない
事実17: もし仮に「その虜は紹介出来る」ということは成り立つとすると「あの一致率は傾げる」ということは真実だ

仮説: 仮にその本書が自然らしいとすればあの一致率は書き下ろす
1. 仮定1: 以下のように仮定する。「その本書は自然らしい」ということは間違いでない
2. 仮定1から、推論1: "その本書は即応出来るかまたは自然らしい"が導かれる
3. 推論1と事実16から、推論2: "その虜は三角点でない"が導かれる
4. 事実7から、推論3: "もしその虜が三角点でないとすると紹介出来るかもしくは普通教育だ"が導かれる
5. 推論2と推論3から、推論4: "その虜は紹介出来るかまたは普通教育である"が導かれる
6. 推論4と事実17と事実14から、推論5: "あの一致率は傾げる"が導かれる
7. 事実10から、推論6: "もしあの一致率が傾げるとすれば書き下ろす"が導かれる
8. 推論5と推論6から、推論7: "あの一致率は書き下ろす"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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