「「もしも「接着剤中でないかまたは溶け難くないかもしくは両方ともである」ということは事実と異なるとしたら辺縁部でない」ものはある」ということは成り立つということはない
fact1: もし「その鯖は接着剤中でないか溶け難くないかまたはどちらもだ」ということは間違いなら「辺縁部だということはない」ということは誤りでない
$facts$ = fact1: もし「その鯖は接着剤中でないか溶け難くないかまたはどちらもだ」ということは間違いなら「辺縁部だということはない」ということは誤りでない ; $hypothesis$ = 「「もしも「接着剤中でないかまたは溶け難くないかもしくは両方ともである」ということは事実と異なるとしたら辺縁部でない」ものはある」ということは成り立つということはない ; $proof$ = 
事実1: もし「その鯖は接着剤中でないか溶け難くないかまたはどちらもだ」ということは間違いなら「辺縁部だということはない」ということは誤りでない

仮説: 「「もしも「接着剤中でないかまたは溶け難くないかもしくは両方ともである」ということは事実と異なるとしたら辺縁部でない」ものはある」ということは成り立つということはない