「このカーラーは丸っこくないし泥棒でない」ということは真実でない
fact1: 全てのものは丸っこくないし加えて泥棒でない
$facts$ = fact1: 全てのものは丸っこくないし加えて泥棒でない ; $hypothesis$ = 「このカーラーは丸っこくないし泥棒でない」ということは真実でない ; $proof$ = 
事実1: 全てのものは丸っこくないし加えて泥棒でない

仮説: 「このカーラーは丸っこくないし泥棒でない」ということは真実でない