もしあの内藤新宿が全国友であるとするとこの劇は山深い
fact1: 「あの内藤新宿は副反応だ一方でそれは全国友でない」ということは偽である fact2: 「「来易い」ということは確かである」ものはある fact3: もしも「あの内藤新宿は来易い一方で因り難いということはない」ということは成り立たないならその外的主張は全国友だ fact4: 「あの内藤新宿は山深い」ということは真実だとすればこの劇は来易い fact5: 「あの内藤新宿は全国友であるけれど因り難くない」ということは誤っているならばあの外的主張は来易い fact6: もしも「この劇は副反応だ」ということは正しいならば「その外的主張は山深い」ということは事実である fact7: もし仮に「その外的主張は因り難いがそれは副反応でない」ということは成り立つということはないならばあの内藤新宿は来易い fact8: もし仮にあの内藤新宿が山深いならばあの劇は全国友だ fact9: 仮にこの劇が全国友だとすればあの内藤新宿は山深い fact10: もしあるものが来易いし全国友だとするとこの劇は山深い fact11: その外的主張は物慣れるしかつＤＡＩＳＹ・コックスである fact12: この劇は見え易くて住まわす fact13: 「その外的主張は因り難くて加えて副反応である」ということは事実と異なる fact14: 「この低カロリーは因り難い」ということは本当である fact15: 何らかの物は全国友だ fact16: 「その外的主張は因り難いけれど副反応でない」ということは成り立たない fact17: ある物は因り難くて加えて山深い fact18: とあるものは来易くてそれは副反応だ fact19: 仮に「来易くて因り難い」物はあれば「この劇は山深い」ということは成り立つ fact20: 何らかの物は副反応でまた全国友である fact21: もし仮に「あの内藤新宿は副反応だが来易くない」ということは成り立つということはないならその外的主張は全国友である fact22: 仮にその外的主張が副反応であるとしたらあの内藤新宿は来易い fact23: もし仮に「あの内藤新宿は副反応であるがしかし因り難くない」ということは事実と異なるとすればあの外的主張は来易い
fact7 & fact16 -> int1: あの内藤新宿は来易い; void -> assump1: 以下のように仮定する。あの内藤新宿は全国友である; int1 & assump1 -> int2: あの内藤新宿は来易くてまた全国友だ; int2 -> int3: なんらかのものは来易いし全国友である; int3 & fact10 -> int4: この劇は山深い; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「あの内藤新宿は副反応だ一方でそれは全国友でない」ということは偽である fact2: 「「来易い」ということは確かである」ものはある fact3: もしも「あの内藤新宿は来易い一方で因り難いということはない」ということは成り立たないならその外的主張は全国友だ fact4: 「あの内藤新宿は山深い」ということは真実だとすればこの劇は来易い fact5: 「あの内藤新宿は全国友であるけれど因り難くない」ということは誤っているならばあの外的主張は来易い fact6: もしも「この劇は副反応だ」ということは正しいならば「その外的主張は山深い」ということは事実である fact7: もし仮に「その外的主張は因り難いがそれは副反応でない」ということは成り立つということはないならばあの内藤新宿は来易い fact8: もし仮にあの内藤新宿が山深いならばあの劇は全国友だ fact9: 仮にこの劇が全国友だとすればあの内藤新宿は山深い fact10: もしあるものが来易いし全国友だとするとこの劇は山深い fact11: その外的主張は物慣れるしかつＤＡＩＳＹ・コックスである fact12: この劇は見え易くて住まわす fact13: 「その外的主張は因り難くて加えて副反応である」ということは事実と異なる fact14: 「この低カロリーは因り難い」ということは本当である fact15: 何らかの物は全国友だ fact16: 「その外的主張は因り難いけれど副反応でない」ということは成り立たない fact17: ある物は因り難くて加えて山深い fact18: とあるものは来易くてそれは副反応だ fact19: 仮に「来易くて因り難い」物はあれば「この劇は山深い」ということは成り立つ fact20: 何らかの物は副反応でまた全国友である fact21: もし仮に「あの内藤新宿は副反応だが来易くない」ということは成り立つということはないならその外的主張は全国友である fact22: 仮にその外的主張が副反応であるとしたらあの内藤新宿は来易い fact23: もし仮に「あの内藤新宿は副反応であるがしかし因り難くない」ということは事実と異なるとすればあの外的主張は来易い ; $hypothesis$ = もしあの内藤新宿が全国友であるとするとこの劇は山深い ; $proof$ = 
fact7 & fact16 -> int1: あの内藤新宿は来易い; void -> assump1: 以下のように仮定する。あの内藤新宿は全国友である; int1 & assump1 -> int2: あの内藤新宿は来易くてまた全国友だ; int2 -> int3: なんらかのものは来易いし全国友である; int3 & fact10 -> int4: この劇は山深い; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「あの内藤新宿は副反応だ一方でそれは全国友でない」ということは偽である
事実2: 「「来易い」ということは確かである」ものはある
事実3: もしも「あの内藤新宿は来易い一方で因り難いということはない」ということは成り立たないならその外的主張は全国友だ
事実4: 「あの内藤新宿は山深い」ということは真実だとすればこの劇は来易い
事実5: 「あの内藤新宿は全国友であるけれど因り難くない」ということは誤っているならばあの外的主張は来易い
事実6: もしも「この劇は副反応だ」ということは正しいならば「その外的主張は山深い」ということは事実である
事実7: もし仮に「その外的主張は因り難いがそれは副反応でない」ということは成り立つということはないならばあの内藤新宿は来易い
事実8: もし仮にあの内藤新宿が山深いならばあの劇は全国友だ
事実9: 仮にこの劇が全国友だとすればあの内藤新宿は山深い
事実10: もしあるものが来易いし全国友だとするとこの劇は山深い
事実11: その外的主張は物慣れるしかつＤＡＩＳＹ・コックスである
事実12: この劇は見え易くて住まわす
事実13: 「その外的主張は因り難くて加えて副反応である」ということは事実と異なる
事実14: 「この低カロリーは因り難い」ということは本当である
事実15: 何らかの物は全国友だ
事実16: 「その外的主張は因り難いけれど副反応でない」ということは成り立たない
事実17: ある物は因り難くて加えて山深い
事実18: とあるものは来易くてそれは副反応だ
事実19: 仮に「来易くて因り難い」物はあれば「この劇は山深い」ということは成り立つ
事実20: 何らかの物は副反応でまた全国友である
事実21: もし仮に「あの内藤新宿は副反応だが来易くない」ということは成り立つということはないならその外的主張は全国友である
事実22: 仮にその外的主張が副反応であるとしたらあの内藤新宿は来易い
事実23: もし仮に「あの内藤新宿は副反応であるがしかし因り難くない」ということは事実と異なるとすればあの外的主張は来易い

仮説: もしあの内藤新宿が全国友であるとするとこの劇は山深い
1. 事実7と事実16から、推論1: "あの内藤新宿は来易い"が導かれる
2. 仮定1: 以下のように仮定する。あの内藤新宿は全国友である
3. 推論1と仮定1から、推論2: "あの内藤新宿は来易くてまた全国友だ"が導かれる
4. 推論2から、推論3: "なんらかのものは来易いし全国友である"が導かれる
5. 推論3と事実10から、推論4: "この劇は山深い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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