この立国は社会主義国だということはない
fact1: もしもそのロボット小僧は青っぽいならば「この立国は社会主義国だ」ということは正しい fact2: そのロボット小僧は青っぽい
$facts$ = fact1: もしもそのロボット小僧は青っぽいならば「この立国は社会主義国だ」ということは正しい fact2: そのロボット小僧は青っぽい ; $hypothesis$ = この立国は社会主義国だということはない ; $proof$ = 
事実1: もしもそのロボット小僧は青っぽいならば「この立国は社会主義国だ」ということは正しい
事実2: そのロボット小僧は青っぽい

仮説: この立国は社会主義国だということはない