その家老はデータグラムソケットだ
fact1: 「叩き売らない」物はある fact2: もし「叩き売らない」物があればその家老はデータグラムソケットであるということはない
$facts$ = fact1: 「叩き売らない」物はある fact2: もし「叩き売らない」物があればその家老はデータグラムソケットであるということはない ; $hypothesis$ = その家老はデータグラムソケットだ ; $proof$ = 
事実1: 「叩き売らない」物はある
事実2: もし「叩き売らない」物があればその家老はデータグラムソケットであるということはない

仮説: その家老はデータグラムソケットだ