この平和台球場は愛くるしいが等しくない
fact1: この平和台球場は愛くるしいがしかし等しいということはない
$facts$ = fact1: この平和台球場は愛くるしいがしかし等しいということはない ; $hypothesis$ = この平和台球場は愛くるしいが等しくない ; $proof$ = 
事実1: この平和台球場は愛くるしいがしかし等しいということはない

仮説: この平和台球場は愛くるしいが等しくない