その皇道は賢しくない
fact1: もし仮に「賢しいし加えて如才無い」ものがあるとするとその皇道は通い始めない fact2: もし如才無いものが通い始めるとしたらその皇道は賢しくない fact3: 「気乗りする」ものはある fact4: 纏まり易い当学院はある fact5: その皇道は多しし如才無い fact6: 「通い始めるし加えて賢しい」物はある fact7: 如才無い物が賢しいとしたらその皇道は通い始めない fact8: この吉原芸者は通い始める fact9: この具体的施策は賢しくて更に提携する fact10: この視界は用い易いし更に如才無い fact11: 「如才無いし賢しい」物はある fact12: なにがしかのものは賢しい fact13: あるものは移行し易くて誘拐する fact14: 「その州境は通い始める」ということは成り立つ fact15: 「賢しいしそれに如才無い」ものはある fact16: 「何かは如才無いしそれは通い始める」ということは事実と異ならないとすればこの吉原芸者は賢しいということはない fact17: 「如才無い」ものはある fact18: この仕舞い方は獄死するししかも宜しい fact19: この吉原芸者は如才無くておまけにそれは通い始める
fact19 -> int1: 「如才無くて加えて通い始める」ものはある; int1 & fact2 -> hypothesis;
$facts$ = fact1: もし仮に「賢しいし加えて如才無い」ものがあるとするとその皇道は通い始めない fact2: もし如才無いものが通い始めるとしたらその皇道は賢しくない fact3: 「気乗りする」ものはある fact4: 纏まり易い当学院はある fact5: その皇道は多しし如才無い fact6: 「通い始めるし加えて賢しい」物はある fact7: 如才無い物が賢しいとしたらその皇道は通い始めない fact8: この吉原芸者は通い始める fact9: この具体的施策は賢しくて更に提携する fact10: この視界は用い易いし更に如才無い fact11: 「如才無いし賢しい」物はある fact12: なにがしかのものは賢しい fact13: あるものは移行し易くて誘拐する fact14: 「その州境は通い始める」ということは成り立つ fact15: 「賢しいしそれに如才無い」ものはある fact16: 「何かは如才無いしそれは通い始める」ということは事実と異ならないとすればこの吉原芸者は賢しいということはない fact17: 「如才無い」ものはある fact18: この仕舞い方は獄死するししかも宜しい fact19: この吉原芸者は如才無くておまけにそれは通い始める ; $hypothesis$ = その皇道は賢しくない ; $proof$ = 
fact19 -> int1: 「如才無くて加えて通い始める」ものはある; int1 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に「賢しいし加えて如才無い」ものがあるとするとその皇道は通い始めない
事実2: もし如才無いものが通い始めるとしたらその皇道は賢しくない
事実3: 「気乗りする」ものはある
事実4: 纏まり易い当学院はある
事実5: その皇道は多しし如才無い
事実6: 「通い始めるし加えて賢しい」物はある
事実7: 如才無い物が賢しいとしたらその皇道は通い始めない
事実8: この吉原芸者は通い始める
事実9: この具体的施策は賢しくて更に提携する
事実10: この視界は用い易いし更に如才無い
事実11: 「如才無いし賢しい」物はある
事実12: なにがしかのものは賢しい
事実13: あるものは移行し易くて誘拐する
事実14: 「その州境は通い始める」ということは成り立つ
事実15: 「賢しいしそれに如才無い」ものはある
事実16: 「何かは如才無いしそれは通い始める」ということは事実と異ならないとすればこの吉原芸者は賢しいということはない
事実17: 「如才無い」ものはある
事実18: この仕舞い方は獄死するししかも宜しい
事実19: この吉原芸者は如才無くておまけにそれは通い始める

仮説: その皇道は賢しくない
1. 事実19から、推論1: "「如才無くて加えて通い始める」ものはある"が導かれる
2. 推論1と事実2から、仮説が導かれる

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