「「あのサークルＫ・ジャパンは見難いし仲間達である」ということは成り立たない」ということは誤っていない
fact1: もし「この信者は抜け駆けでない」ということは間違っていないとすれば「あのサークルＫ・ジャパンは見難いし仲間達である」ということは間違いである fact2: この信者は抜け駆けでない
$facts$ = fact1: もし「この信者は抜け駆けでない」ということは間違っていないとすれば「あのサークルＫ・ジャパンは見難いし仲間達である」ということは間違いである fact2: この信者は抜け駆けでない ; $hypothesis$ = 「「あのサークルＫ・ジャパンは見難いし仲間達である」ということは成り立たない」ということは誤っていない ; $proof$ = 
事実1: もし「この信者は抜け駆けでない」ということは間違っていないとすれば「あのサークルＫ・ジャパンは見難いし仲間達である」ということは間違いである
事実2: この信者は抜け駆けでない

仮説: 「「あのサークルＫ・ジャパンは見難いし仲間達である」ということは成り立たない」ということは誤っていない