あの院派は忍び難くない
fact1: 「あの院派は伝え難くない」ということは成り立つ fact2: あの院派は吠え立てない fact3: その本人同士は引き起こし易くない fact4: あの院派は引き起こし易いということはない fact5: この見方は引き起こし易くない fact6: 仮にあの院派が引き起こし易くないならばあの見方は忍び難くない fact7: このリーチは引き起こし易くない fact8: もしもこの見方は引き起こし易くないとしたら「あの院派は忍び難いということはない」ということは真実だ fact9: そのティン王は忍び難くない fact10: この百十二人は忍び難くない fact11: この見方が忍び難いということはないとしたらあの院派は引き起こし易くない fact12: この見方は変動性でない
fact8 & fact5 -> hypothesis;
fact8 & fact5 -> hypothesis;
$facts$ = fact1: 「あの院派は伝え難くない」ということは成り立つ fact2: あの院派は吠え立てない fact3: その本人同士は引き起こし易くない fact4: あの院派は引き起こし易いということはない fact5: この見方は引き起こし易くない fact6: 仮にあの院派が引き起こし易くないならばあの見方は忍び難くない fact7: このリーチは引き起こし易くない fact8: もしもこの見方は引き起こし易くないとしたら「あの院派は忍び難いということはない」ということは真実だ fact9: そのティン王は忍び難くない fact10: この百十二人は忍び難くない fact11: この見方が忍び難いということはないとしたらあの院派は引き起こし易くない fact12: この見方は変動性でない ; $hypothesis$ = あの院派は忍び難くない ; $proof$ = 
fact8 & fact5 -> hypothesis; __PROVED__
事実1: 「あの院派は伝え難くない」ということは成り立つ
事実2: あの院派は吠え立てない
事実3: その本人同士は引き起こし易くない
事実4: あの院派は引き起こし易いということはない
事実5: この見方は引き起こし易くない
事実6: 仮にあの院派が引き起こし易くないならばあの見方は忍び難くない
事実7: このリーチは引き起こし易くない
事実8: もしもこの見方は引き起こし易くないとしたら「あの院派は忍び難いということはない」ということは真実だ
事実9: そのティン王は忍び難くない
事実10: この百十二人は忍び難くない
事実11: この見方が忍び難いということはないとしたらあの院派は引き起こし易くない
事実12: この見方は変動性でない

仮説: あの院派は忍び難くない
1. 事実8と事実5から、仮説が導かれる

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