전제: 오사무와 쇼타는 자주 가게에서 물건을 훔친다.
함의: 오사무와 쇼타는 물건을 훔친다.
모순: 오사무와 쇼타는 물건을 훔친적이 없다.