「仮に都市貴族でないししかも収束するとすると計画するということはない」ものはある
fact1: もしもそのネームＳは都市貴族でないけど収束するならそれは計画しない fact2: 「仮に都市貴族だしおまけに収束するなら計画しない」ものはある fact3: 「もし都市貴族でない一方で収束するなら計画する」ものはある fact4: もし仮にそのネームＳは都市貴族でないが収束するとすればそれは計画する fact5: もしもそのネームＳが都市貴族でまた収束するならそれは計画するということはない
fact1 -> hypothesis;
$facts$ = fact1: もしもそのネームＳは都市貴族でないけど収束するならそれは計画しない fact2: 「仮に都市貴族だしおまけに収束するなら計画しない」ものはある fact3: 「もし都市貴族でない一方で収束するなら計画する」ものはある fact4: もし仮にそのネームＳは都市貴族でないが収束するとすればそれは計画する fact5: もしもそのネームＳが都市貴族でまた収束するならそれは計画するということはない ; $hypothesis$ = 「仮に都市貴族でないししかも収束するとすると計画するということはない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもそのネームＳは都市貴族でないけど収束するならそれは計画しない
事実2: 「仮に都市貴族だしおまけに収束するなら計画しない」ものはある
事実3: 「もし都市貴族でない一方で収束するなら計画する」ものはある
事実4: もし仮にそのネームＳは都市貴族でないが収束するとすればそれは計画する
事実5: もしもそのネームＳが都市貴族でまた収束するならそれは計画するということはない

仮説: 「仮に都市貴族でないししかも収束するとすると計画するということはない」ものはある
1. 事実1から、仮説が導かれる

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