この羅生門は広まるということはない
fact1: もしもこの右義務は構え易くないなら「この顕現は幼けないし加えて青白い」ということは成り立たない fact2: この顕現は幼けない fact3: 「この顕現は八冊でないかまたは常連らしくないか両方だ」ということは成り立たないとすればそれは錦であるということはない fact4: 仮にある物は奮闘努力でないなら貧し fact5: もし仮に「ある物は存じ上げるし加えて奮闘努力である」ということは成り立たないとすれば奮闘努力であるということはない fact6: もしこの顕現が常連らしくないとすればこの右義務は前景色である fact7: この顕現は幼けないししかも錦だ fact8: もしなにかは寺町ならば「それは構え易くなくておまけにそれは追加発注でない」ということは本当でない fact9: もしもなにかは幼けなくないとすればこの羅生門は前景色であるかあるいは錦であるかまたはどちらもだ fact10: 「ある物は幼けないし青白い」ということは成り立たないなら「それは幼けないということはない」ということは成り立つ fact11: 仮にあの丹波島宿は甚だしないならば「それは存じ上げるしさらに奮闘努力である」ということは嘘だ fact12: もし「あの飴色は構え易くないしその上追加発注でない」ということは間違いだとしたらこの右義務は構え易くない fact13: この顕現が八冊でないならこの右義務は前景色である fact14: もしも「この右義務は前景色である」ということは偽でないならこの羅生門は広まる fact15: この右義務は幼けない fact16: 「この顕現は詫びる」ということは事実だ fact17: もしも何かは前景色だとするとそれは広まらない fact18: もしあの丹波島宿が貧しならあの飴色は寺町である fact19: この右義務は常連らしくない
void -> assump1: 以下のように仮定する。「この顕現は八冊でないかまたは常連らしくないかあるいは両方である」ということは成り立つということはない; fact3 & assump1 -> int1: この顕現は錦でない; fact7 -> int2: この顕現は錦である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この顕現は八冊だということはないかあるいは常連らしくないかもしくは両方である」ということは真実である; int4 & fact13 & fact6 -> int5: この右義務は前景色だ; int5 & fact14 -> hypothesis;
この羅生門は広まるということはない
fact25 -> int6: もし仮に「この顕現は幼けないしその上青白い」ということは成り立たないならばそれは幼けないということはない; fact21 -> int7: あの飴色は寺町だとすれば「それは構え易くなくて追加発注であるということはない」ということは成り立たない; fact26 -> int8: 仮にあの丹波島宿は奮闘努力であるということはないならば貧し; fact27 -> int9: 「あの丹波島宿は存じ上げるしさらに奮闘努力だ」ということは成り立たないとすれば奮闘努力でない; fact22 -> int10: もし仮にこの羅生門が前景色だとすれば広まらない;
$facts$ = fact1: もしもこの右義務は構え易くないなら「この顕現は幼けないし加えて青白い」ということは成り立たない fact2: この顕現は幼けない fact3: 「この顕現は八冊でないかまたは常連らしくないか両方だ」ということは成り立たないとすればそれは錦であるということはない fact4: 仮にある物は奮闘努力でないなら貧し fact5: もし仮に「ある物は存じ上げるし加えて奮闘努力である」ということは成り立たないとすれば奮闘努力であるということはない fact6: もしこの顕現が常連らしくないとすればこの右義務は前景色である fact7: この顕現は幼けないししかも錦だ fact8: もしなにかは寺町ならば「それは構え易くなくておまけにそれは追加発注でない」ということは本当でない fact9: もしもなにかは幼けなくないとすればこの羅生門は前景色であるかあるいは錦であるかまたはどちらもだ fact10: 「ある物は幼けないし青白い」ということは成り立たないなら「それは幼けないということはない」ということは成り立つ fact11: 仮にあの丹波島宿は甚だしないならば「それは存じ上げるしさらに奮闘努力である」ということは嘘だ fact12: もし「あの飴色は構え易くないしその上追加発注でない」ということは間違いだとしたらこの右義務は構え易くない fact13: この顕現が八冊でないならこの右義務は前景色である fact14: もしも「この右義務は前景色である」ということは偽でないならこの羅生門は広まる fact15: この右義務は幼けない fact16: 「この顕現は詫びる」ということは事実だ fact17: もしも何かは前景色だとするとそれは広まらない fact18: もしあの丹波島宿が貧しならあの飴色は寺町である fact19: この右義務は常連らしくない ; $hypothesis$ = この羅生門は広まるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この顕現は八冊でないかまたは常連らしくないかあるいは両方である」ということは成り立つということはない; fact3 & assump1 -> int1: この顕現は錦でない; fact7 -> int2: この顕現は錦である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この顕現は八冊だということはないかあるいは常連らしくないかもしくは両方である」ということは真実である; int4 & fact13 & fact6 -> int5: この右義務は前景色だ; int5 & fact14 -> hypothesis; __DISPROVED__
事実1: もしもこの右義務は構え易くないなら「この顕現は幼けないし加えて青白い」ということは成り立たない
事実2: この顕現は幼けない
事実3: 「この顕現は八冊でないかまたは常連らしくないか両方だ」ということは成り立たないとすればそれは錦であるということはない
事実4: 仮にある物は奮闘努力でないなら貧し
事実5: もし仮に「ある物は存じ上げるし加えて奮闘努力である」ということは成り立たないとすれば奮闘努力であるということはない
事実6: もしこの顕現が常連らしくないとすればこの右義務は前景色である
事実7: この顕現は幼けないししかも錦だ
事実8: もしなにかは寺町ならば「それは構え易くなくておまけにそれは追加発注でない」ということは本当でない
事実9: もしもなにかは幼けなくないとすればこの羅生門は前景色であるかあるいは錦であるかまたはどちらもだ
事実10: 「ある物は幼けないし青白い」ということは成り立たないなら「それは幼けないということはない」ということは成り立つ
事実11: 仮にあの丹波島宿は甚だしないならば「それは存じ上げるしさらに奮闘努力である」ということは嘘だ
事実12: もし「あの飴色は構え易くないしその上追加発注でない」ということは間違いだとしたらこの右義務は構え易くない
事実13: この顕現が八冊でないならこの右義務は前景色である
事実14: もしも「この右義務は前景色である」ということは偽でないならこの羅生門は広まる
事実15: この右義務は幼けない
事実16: 「この顕現は詫びる」ということは事実だ
事実17: もしも何かは前景色だとするとそれは広まらない
事実18: もしあの丹波島宿が貧しならあの飴色は寺町である
事実19: この右義務は常連らしくない

仮説: この羅生門は広まるということはない
1. 仮定1: 以下のように仮定する。「この顕現は八冊でないかまたは常連らしくないかあるいは両方である」ということは成り立つということはない
2. 事実3と仮定1から、推論1: "この顕現は錦でない"が導かれる
3. 事実7から、推論2: "この顕現は錦である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この顕現は八冊だということはないかあるいは常連らしくないかもしくは両方である」ということは真実である"が導かれる
6. 推論4と事実13と事実6から、推論5: "この右義務は前景色だ"が導かれる
7. 推論5と事実14から、仮説が否定される

よって、仮説が否定されました。