仮に「あの右投右打ちはリラティブ・ストレングスであるが公約しない」ということは偽ならそれは即しない
fact1: もし「とある物はリラティブ・ストレングスであるがしかしそれは公約しない」ということは成り立たないならばそれは即しない
$facts$ = fact1: もし「とある物はリラティブ・ストレングスであるがしかしそれは公約しない」ということは成り立たないならばそれは即しない ; $hypothesis$ = 仮に「あの右投右打ちはリラティブ・ストレングスであるが公約しない」ということは偽ならそれは即しない ; $proof$ = 
事実1: もし「とある物はリラティブ・ストレングスであるがしかしそれは公約しない」ということは成り立たないならばそれは即しない

仮説: 仮に「あの右投右打ちはリラティブ・ストレングスであるが公約しない」ということは偽ならそれは即しない