そのイタリア生まれは等しいということはない
fact1: もし仮にあの双反射鏡がくどいならばそのイタリア生まれは等しい fact2: あの双反射鏡はくどい fact3: あの双反射鏡は等しい fact4: あの双反射鏡は待ち遠しい
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にあの双反射鏡がくどいならばそのイタリア生まれは等しい fact2: あの双反射鏡はくどい fact3: あの双反射鏡は等しい fact4: あの双反射鏡は待ち遠しい ; $hypothesis$ = そのイタリア生まれは等しいということはない ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にあの双反射鏡がくどいならばそのイタリア生まれは等しい
事実2: あの双反射鏡はくどい
事実3: あの双反射鏡は等しい
事実4: あの双反射鏡は待ち遠しい

仮説: そのイタリア生まれは等しいということはない
1. 事実1と事実2から、仮説が否定される

よって、仮説が否定されました。