「その紅斑は初々しいが関係深いということはない」ということは誤っている
fact1: 「号する」物はある fact2: もしこの総計が号しないならばその紅斑は初々しいけれどそれは関係深くない fact3: 初々しかないものは篩い入れるし号する fact4: 仮に「号する」物はあれば「その紅斑は初々しいがそれは関係深くない」ということは誤っている
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
「篩い入れる」ものはある
fact5 -> int1: その紅斑が初々しかないとしたら篩い入れるしそれにそれは号する;
$facts$ = fact1: 「号する」物はある fact2: もしこの総計が号しないならばその紅斑は初々しいけれどそれは関係深くない fact3: 初々しかないものは篩い入れるし号する fact4: 仮に「号する」物はあれば「その紅斑は初々しいがそれは関係深くない」ということは誤っている ; $hypothesis$ = 「その紅斑は初々しいが関係深いということはない」ということは誤っている ; $proof$ = 
fact1 & fact4 -> hypothesis; __PROVED__
事実1: 「号する」物はある
事実2: もしこの総計が号しないならばその紅斑は初々しいけれどそれは関係深くない
事実3: 初々しかないものは篩い入れるし号する
事実4: 仮に「号する」物はあれば「その紅斑は初々しいがそれは関係深くない」ということは誤っている

仮説: 「その紅斑は初々しいが関係深いということはない」ということは誤っている
1. 事実1と事実4から、仮説が導かれる

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