なにかはちょろい一方でそれはプライマーでない
fact1: あのシンガーはちょろいがしかしプライマーでない
$facts$ = fact1: あのシンガーはちょろいがしかしプライマーでない ; $hypothesis$ = なにかはちょろい一方でそれはプライマーでない ; $proof$ = 
事実1: あのシンガーはちょろいがしかしプライマーでない

仮説: なにかはちょろい一方でそれはプライマーでない