この十反層は展開し易い
fact1: この十反層はしどけない fact2: この十反層は文語体でない fact3: あの二十五日生まれは素早い fact4: この露天風呂は文語体である fact5: 何らかのものは木らしいということはないなら「痛ましいし更にそれは珠玉殿だ」ということは間違いだ fact6: 「そのポルトガル人は痛ましいということはないがしかしそれは人間工学である」ということは成り立たない fact7: もしそのポルトガル人はあやからないとすると「この十反層は文語体でない」ということは確かである fact8: もし仮にそのポルトガル人が痛ましいならばそれは素早くない fact9: もし仮にこの十反層は文語体だとしたら「そのポルトガル人は素早い」ということは間違いでない fact10: もし「そのポルトガル人は痛ましくないが人間工学である」ということは偽なら痛ましい fact11: もしもあの同義が素早くないし更に現われ易いということはないとすればそのポルトガル人はあやからない fact12: この十反層は木らしくない fact13: 「そのポルトガル人は文語体だ」ということは成り立つとしたら「この十反層はあやかる」ということは成り立つ fact14: もしなんらかの物が痛ましくないなら素早くなくて更にそれは現われ易いということはない fact15: もし仮にそのポルトガル人があやかるということはないならこの十反層は展開し易いししかも文語体だ fact16: この諸書は認め難いしまた展開し易い fact17: そのポルトガル人は文語体である fact18: 仮に「あの漢方医は痛ましいし珠玉殿である」ということは誤っていればあの同義は痛ましくない fact19: 仮にこの十反層は展開し易いしかつあやかるなら文語体でない fact20: 「もしも「木らしくない」ものがあるとしたらそのポルトガル人は現われ易い」ということは確かである fact21: この十反層は素早くて加えてあやかるとするとそれは展開し易くない fact22: この十反層は献ずる fact23: この十反層は素早い
fact13 & fact17 -> int1: この十反層はあやかる; int1 & fact23 -> int2: この十反層は素早くて加えてあやかる; int2 & fact21 -> 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$ = 
fact13 & fact17 -> int1: この十反層はあやかる; int1 & fact23 -> int2: この十反層は素早くて加えてあやかる; int2 & fact21 -> hypothesis; __DISPROVED__
事実1: この十反層はしどけない
事実2: この十反層は文語体でない
事実3: あの二十五日生まれは素早い
事実4: この露天風呂は文語体である
事実5: 何らかのものは木らしいということはないなら「痛ましいし更にそれは珠玉殿だ」ということは間違いだ
事実6: 「そのポルトガル人は痛ましいということはないがしかしそれは人間工学である」ということは成り立たない
事実7: もしそのポルトガル人はあやからないとすると「この十反層は文語体でない」ということは確かである
事実8: もし仮にそのポルトガル人が痛ましいならばそれは素早くない
事実9: もし仮にこの十反層は文語体だとしたら「そのポルトガル人は素早い」ということは間違いでない
事実10: もし「そのポルトガル人は痛ましくないが人間工学である」ということは偽なら痛ましい
事実11: もしもあの同義が素早くないし更に現われ易いということはないとすればそのポルトガル人はあやからない
事実12: この十反層は木らしくない
事実13: 「そのポルトガル人は文語体だ」ということは成り立つとしたら「この十反層はあやかる」ということは成り立つ
事実14: もしなんらかの物が痛ましくないなら素早くなくて更にそれは現われ易いということはない
事実15: もし仮にそのポルトガル人があやかるということはないならこの十反層は展開し易いししかも文語体だ
事実16: この諸書は認め難いしまた展開し易い
事実17: そのポルトガル人は文語体である
事実18: 仮に「あの漢方医は痛ましいし珠玉殿である」ということは誤っていればあの同義は痛ましくない
事実19: 仮にこの十反層は展開し易いしかつあやかるなら文語体でない
事実20: 「もしも「木らしくない」ものがあるとしたらそのポルトガル人は現われ易い」ということは確かである
事実21: この十反層は素早くて加えてあやかるとするとそれは展開し易くない
事実22: この十反層は献ずる
事実23: この十反層は素早い

仮説: この十反層は展開し易い
1. 事実13と事実17から、推論1: "この十反層はあやかる"が導かれる
2. 推論1と事実23から、推論2: "この十反層は素早くて加えてあやかる"が導かれる
3. 推論2と事実21から、仮説が否定される

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