その東寺百合文書は説明し易くない
fact1: 当て付けがましくらない物は共闘しない fact2: なんらかのものは御出ししないかあるいは近付き易いか両方だ fact3: その東寺百合文書は乗り合い船でない fact4: なにかは呼び立てるなら御出しするかもしくは近付き易くない fact5: 甚だしくない物は歩き始めない fact6: もしもなにかは御出ししないかもしくは近付き易いならばその東寺百合文書は呼び立てない fact7: もしなにがしかの物は依り頼まないか呼び立てないか両方であるとすればそれは説明し易くない fact8: 仮に何かは挟撃しないか御会い出来るかあるいは両方ならその東寺百合文書は比例案分しない fact9: とある物は網焼きであるかあるいは色っぽい fact10: もしもその東寺百合文書が忘るということはないかまたは忝くないかまたは両方ともであるとするとそれは依り頼むということはない fact11: もし何らかの物が手堅いということはないかまたは受け入れ難いかもしくは両方であるとしたらこの商会はしどけなくない fact12: もしもあの黒石は依り頼まないとすると「それは御早いということはない」ということは成り立つ fact13: もし仮になんらかの物が忘るということはないかまたはそれが着るならその東寺百合文書は御出しするということはない fact14: その東寺百合文書は倍するということはないかもしくはリハーサルでないかどちらもだ
fact2 & fact6 -> int1: その東寺百合文書は呼び立てるということはない; int1 -> int2: その東寺百合文書は依り頼むということはないかまたは呼び立てないかあるいはどちらもだ; fact7 -> int3: もしもその東寺百合文書が依り頼まないかもしくは呼び立てないとするとそれは説明し易いということはない; int2 & int3 -> hypothesis;
fact2 & fact6 -> int1: ¬{C}{a}; int1 -> int2: (¬{D}{a} v ¬{C}{a}); fact7 -> int3: (¬{D}{a} v ¬{C}{a}) -> ¬{E}{a}; int2 & int3 -> hypothesis;
その東寺百合文書は説明し易い
fact15 -> int4: もし仮に「このエーデルワイスは呼び立てる」ということは本当だとしたら御出しするかそれは近付き易くない;
$facts$ = fact1: 当て付けがましくらない物は共闘しない fact2: なんらかのものは御出ししないかあるいは近付き易いか両方だ fact3: その東寺百合文書は乗り合い船でない fact4: なにかは呼び立てるなら御出しするかもしくは近付き易くない fact5: 甚だしくない物は歩き始めない fact6: もしもなにかは御出ししないかもしくは近付き易いならばその東寺百合文書は呼び立てない fact7: もしなにがしかの物は依り頼まないか呼び立てないか両方であるとすればそれは説明し易くない fact8: 仮に何かは挟撃しないか御会い出来るかあるいは両方ならその東寺百合文書は比例案分しない fact9: とある物は網焼きであるかあるいは色っぽい fact10: もしもその東寺百合文書が忘るということはないかまたは忝くないかまたは両方ともであるとするとそれは依り頼むということはない fact11: もし何らかの物が手堅いということはないかまたは受け入れ難いかもしくは両方であるとしたらこの商会はしどけなくない fact12: もしもあの黒石は依り頼まないとすると「それは御早いということはない」ということは成り立つ fact13: もし仮になんらかの物が忘るということはないかまたはそれが着るならその東寺百合文書は御出しするということはない fact14: その東寺百合文書は倍するということはないかもしくはリハーサルでないかどちらもだ ; $hypothesis$ = その東寺百合文書は説明し易くない ; $proof$ = 
fact2 & fact6 -> int1: その東寺百合文書は呼び立てるということはない; int1 -> int2: その東寺百合文書は依り頼むということはないかまたは呼び立てないかあるいはどちらもだ; fact7 -> int3: もしもその東寺百合文書が依り頼まないかもしくは呼び立てないとするとそれは説明し易いということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: 当て付けがましくらない物は共闘しない
事実2: なんらかのものは御出ししないかあるいは近付き易いか両方だ
事実3: その東寺百合文書は乗り合い船でない
事実4: なにかは呼び立てるなら御出しするかもしくは近付き易くない
事実5: 甚だしくない物は歩き始めない
事実6: もしもなにかは御出ししないかもしくは近付き易いならばその東寺百合文書は呼び立てない
事実7: もしなにがしかの物は依り頼まないか呼び立てないか両方であるとすればそれは説明し易くない
事実8: 仮に何かは挟撃しないか御会い出来るかあるいは両方ならその東寺百合文書は比例案分しない
事実9: とある物は網焼きであるかあるいは色っぽい
事実10: もしもその東寺百合文書が忘るということはないかまたは忝くないかまたは両方ともであるとするとそれは依り頼むということはない
事実11: もし何らかの物が手堅いということはないかまたは受け入れ難いかもしくは両方であるとしたらこの商会はしどけなくない
事実12: もしもあの黒石は依り頼まないとすると「それは御早いということはない」ということは成り立つ
事実13: もし仮になんらかの物が忘るということはないかまたはそれが着るならその東寺百合文書は御出しするということはない
事実14: その東寺百合文書は倍するということはないかもしくはリハーサルでないかどちらもだ

仮説: その東寺百合文書は説明し易くない
1. 事実2と事実6から、推論1: "その東寺百合文書は呼び立てるということはない"が導かれる
2. 推論1から、推論2: "その東寺百合文書は依り頼むということはないかまたは呼び立てないかあるいはどちらもだ"が導かれる
3. 事実7から、推論3: "もしもその東寺百合文書が依り頼まないかもしくは呼び立てないとするとそれは説明し易いということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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